>>496
公理は、多数回の度重なる検証を押し込めた帰納的な真理ではない。
演繹の出発点になる単なる仮定であり、「確かめられた」ものではない。
その仮定を満たさないものは、整数とは呼ばず、他の名前をつけるだけだ。
整数が環を成すかどうかは、「確かめる」云々じゃなく、定義の一部なんだよ。
日常の体験で出会う整数っぽいナニカが整数であるか否かは、
整数ではなく体験の側の問題、数学ではなく認知心理学の問題だ。
根本的を誤解しているな。