أسس الرياضيات

منطق أوميغا (Ω-logic)

نظرية المجموعات العامة (General Set Theory)

الصورية الرياضية (Mathematical Formalism)

نظرية مجموعات آكرمن (Ackermann Set Theory)

حساب سكولم (Skolem arithmetic)

نظرية مجموعة سكوت-بوتر (Scott–Potter set theory)

نظرية المجموعات البنائية (Constructive Set Theory)

كاردينال راينهاردت (Reinhardt Cardinal)

Exit mobile version