俺は逆数学は、二次的だとは思わんな。寧ろ根本的だろう。

例えばRCA0とWKL0の違いが明らかになったのは面白い。
前者は明らかに構成的だが、後者は何らかの超越的な仮定がある。

こういうことに対して何の面白みも感じない人は
数学的感覚が鈍磨しているといっていい。