18/11/18 21:06:39.33 vV361S9V.net
どこでそういうこと言われてるのかわからんが、ラヨ数系列は直接プラトニズムから定義されていて
表記以外は数学的に扱えないからレギュレーション分けされてる感じ。
うえで定義が不十分だからとか言われてるけど真の算術とか、数学的プラトニズムは数学的に定義できないし
そういうのは哲学上の問題で各人が認めるか認めないかに委ねるしかない、というのもすでに>>406で言われている通り
それに表記を競うのなら計算可能とか不可能とかいうのは表層的な問題であってどちらでもいい。
計算可能レベルは表記ばかりに目がいって理論の整備とか順序数解析とか証明とかが追いついてない
のが現状っぽい