亞里斯多德
邏輯學
文法
圖靈
集合
畢達哥拉斯
真理
臘尼茲
侯勃
伊本·西那
無限
帕斯卡
哥德
般加黑