大卫·希尔伯特
David Hilbert instigated a formalist movement that was eventually tempered by Gödel's incompleteness theorems.