ရှင်းရှင်းလင်းလင်း, တိကျခိုင်မာစွာနှင့်စေ့စေ့စပ်စပ်ခက်ခဲသော:
predicate calculus
ကွဲပြားခြားနားသောဆက်နွယ်မှုနှင့်၎င်းတို့၏သက်ဆိုင်ရာသဘာဝတရားအမျိုးအစားများကိုသတ်မှတ်ထားသည်။နံပါတ်: Cardinal, ordinal, ဆင်ခြင်တုံတရား, ရှုပ်ထွေးသော, ရှုပ်ထွေးသော, ရှုပ်ထွေးသောနှင့် transfinite
မပြည့်စုံခြင်း။