أسس الرياضيات, المنطق الرياضي, تاريخ الرياضيات, نظرية الإثباتبرهان الاتساق لغينتزن (Gentzen’s consistency proof)
القرن السابع عشر, تاريخ الرياضيات, رياضيات, علماء اسكتلنديونألكسندر أندرسون (رياضياتي) (Alexander Anderson (mathematician))