前スレ 966 は某TH大逆数学派のものと思われる。
逆数学というだけでも、まあ、なのだが、それが直観主義論理上のもの
の逆数学って何？って感じだね。