ダフィット・ヒルベルト
David Hilbert instigated a formalist movement that was eventually tempered by Gödel's incompleteness theorems.