1848年–1925年

フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ（Friedrich Ludwig Gottlob Frege)

命題論理と述語論理の公理化を最初に行った人物