フレーゲ
Friedrich Ludwig Gottlob Frege
フレーゲは、古代ギリシア（ギリシア哲学）のアリストテレス以来の伝統的論理学の革命を遂行し、数学の哲学である「論理主義」 を提唱した3。革命的な『概念記法』(Begriffsschrift) は1879年に出版され、アリストテレス以来2,000年変わらずに続いていた伝統論理学を一掃して論理学の新時代を切り開いた。今日の数学で定着している∀（任意の）や∃（存在する）のような量化はこのフレーゲの業績に基づいている。 Naa_tsure.icon論理関係が明確な人工言語の開発のくだりが印象的