الذكاء الاصطناعي, الرياضيات, الفلسفة, المنطق, علوم الحاسوبحساب القضايا الشرطي (Implicational propositional calculus)
حرب عالمية ثانية, فلاسفة رياضيات, فلاسفة فرنسيون, مفكرون فرنسيون, مقاومة فرنسيةجان كافاييس (Jean Cavaillès)
الجبر, الرياضيات, المنطق الرياضي, علوم الحاسوب, نظرية النموذجالمجموعة القابلة للتعريف (Definable Set)
التاريخ, الرياضيات, الفلسفة, المنطقبديهيات تارسكي للأعداد الحقيقية (Tarski’s Axiomatization of the Reals)