無理数という数をピタゴラス学派は隠蔽した
でも基本数学というのは、そういう対象も数にしてきて発展したんじゃないかな
虚数とか、いろいろあるし
数というのは基本定数であってこと数みたいな印象があるけどね
まあ、不定数も数にしましょう、無限も数にしましょう
そうすればいろいろ便利だし
正直1という数も自然界に定数として在るわけじゃないし
それを定数にする

まあ排中律そのものは観念の問題だし

意外と深い問題じゃないのかなと思う

論理は大体というか近似値というか　ｗ