円周率の中に例えば20個連続した7があるかどうか決められてるっていうところとか
有界の単調増加数列で区間を2等分して数列が存在してる方の右側区間を選んでいけば
上限値が決められるっていうところも自然数全体を数え切ったうえでないと区間に
点列が存在するかどうかなど決められるわけがない
だとすれば自然数には最終項がなければいけないのに自然数の定義から矛盾が生じると
いって排除されてしまう

ここのところをどうやって実数とか排中律を理解していけばよろしいのでしょうか？