Järgneva lause kohaselt järeldub aksioomist (P) alumise raja olemasolu igal alt tõkestatud alamhulgal.
Формы слова
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.
