begin
:: deftheorem Def1 defines complex-membered MEMBERED:def 1 :
:: deftheorem Def2 defines ext-real-membered MEMBERED:def 2 :
:: deftheorem Def3 defines real-membered MEMBERED:def 3 :
:: deftheorem Def4 defines rational-membered MEMBERED:def 4 :
:: deftheorem Def5 defines integer-membered MEMBERED:def 5 :
:: deftheorem Def6 defines natural-membered MEMBERED:def 6 :
theorem Th1:
theorem Th2:
theorem Th3:
theorem Th4:
theorem Th5:
theorem Th6:
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem Th19:
theorem Th20:
theorem Th21:
theorem Th22:
theorem Th23:
theorem Th24:
:: deftheorem Def7 defines c= MEMBERED:def 7 :
:: deftheorem Def8 defines c= MEMBERED:def 8 :
:: deftheorem Def9 defines c= MEMBERED:def 9 :
:: deftheorem Def10 defines c= MEMBERED:def 10 :
:: deftheorem Def11 defines c= MEMBERED:def 11 :
:: deftheorem Def12 defines c= MEMBERED:def 12 :
:: deftheorem defines = MEMBERED:def 13 :
:: deftheorem defines = MEMBERED:def 14 :
:: deftheorem defines = MEMBERED:def 15 :
:: deftheorem defines = MEMBERED:def 16 :
:: deftheorem defines = MEMBERED:def 17 :
:: deftheorem defines = MEMBERED:def 18 :
:: deftheorem defines meets MEMBERED:def 19 :
:: deftheorem defines meets MEMBERED:def 20 :
:: deftheorem defines meets MEMBERED:def 21 :
:: deftheorem defines meets MEMBERED:def 22 :
:: deftheorem defines meets MEMBERED:def 23 :
:: deftheorem defines meets MEMBERED:def 24 :
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem
theorem