另外，邏輯、文法、修辭呢三樣嘢被稱為古典三學科。由十九世紀中，大家開始當形式邏輯做數學基礎研究。1903年，懷海德同羅素出版《principiamathematica》，試圖用形式邏輯造起成部數學。