الرياضيات, العلوم, الفلسفة, المنطق الرياضيالنماذج غير القياسية للحساب (Non-standard model of arithmetic)
أسس الرياضيات, الرياضيات, المنطق الرياضي, نظرية المجموعاتنظرية مجموعة سكوت-بوتر (Scott–Potter set theory)
الذكاء الاصطناعي, المنطق الرياضي, علوم الحاسوب, نظرية الإثباتفئة بيرنيز-شونفينكل (Bernays–Schönfinkel class)