公理主義に最初に気づいた数学者が史上最高の数学者と思う。
しかし、デデキント、ペアノ、ツェルメロ、ヒルベルト等の
誰とも特定できず、カントールが象徴的な意味で祭り上げられてしまった
のだと思う。
たぶん、名もない誰かが最初に気づいたのだろう。
定理の証明ならば、最初に証明した数学者を特定するのは簡単だが、
公理主義という精神の提唱者の特定は難しい。
将棋でも「穴熊戦法」は素人の誰かが始めたのを、プロが採用して
いつのまにかプロの創作ということになってしまった。