الرياضيات, الفلسفة الرياضية, المنطق الرياضي, نظرية المجموعاتبديهية الاختيار الشامل (Axiom of Global Choice)
البرمجة, الدوائر الرقمية, المنطق الرياضي, علوم الحاسوب, نظرية الحوسبةالكمال الوظيفي (Functional Completeness)
الرياضيات, المنطق الرياضي, علوم الحاسوب, نظرية المجموعاتالأعداد الترتيبية القابلة للحساب (Computable Ordinal)