数学基礎論・数理論理学　その11

>>54
ビショップの直観主義数学は、古典論理上の数学より弱いって聞いたけど

ああ、僧正と橋々の構成的解析ね。

橋々？僧正は Bishop のことだな。