逆数学が2次的ってｗ
本来逆数学のような計算論の視点が1次的で、
これまでの数学が2次的なものなのだが。
ユークリド言論が1次的で非ユークリッドが2次とか言っているようなものw