Järgneva lause kohaselt järeldub aksioomist (P) alumise raja olemasolu igal alt tõkestatud alamhulgal.
Word forms
Mõlemad ühendis olevad sõnad käänduvad ja neil võib olla rööpvorme. Siin on esitatud kõige tavalisemad vormid. Vt lähemalt Mitmeosaliste käändsõnade käänamine.
