厳格モードのCopilotさんにも聞いてみたけど、雑にまとめると
「それの名前の存在はわかんないけど、数体系（例えば実数）というのは計算したりする為に"実用に耐える形で公理化したもの"なので、『実用をとりあえず置いておいてとにかく素朴に考えるとどうなるか？』って考え方はあまりされてないんじゃね？」
みたいな感じになった＞＜