クルト・ゲーデル
Kurt Gödel indicated one of the weak points of formalism by addressing the question of consistency in axiomatic systems.