الرياضيات, الرياضيات التأسيسية, المنطق الرياضي, نظرية المجموعات, نظرية النماذجالمجموعة المقبولة (Admissible Set)
التاريخ, الرياضيات, الفلسفة, المنطقبديهيات تارسكي للأعداد الحقيقية (Tarski’s Axiomatization of the Reals)