>>759
ほんとに定義が知りたいなら自然数の構成あたりから始めてみては。
議論ふっかけに来てるだけならもう少しうまくやってください