実数の公理というものが数学の世界にはある。この公理を満たす集合は、その要素が3.14 だろうが、ビールジョッキだろうが、ハシブトガラスだろうが、実数なのだ。