直観主義論理って事ですか。

一応Goedelも33年にアメリカ数学会の講演で、
「他にも捉え方はあるけど一応PRAだと思っといていいんじゃないの？」
という旨のことを言っているらしい。（岩波文庫「不完全性定理」p226,227）

一方、Von NeumannやBernaysが、Hilbertならば「内容的」と言うところを
Brouwerの影響で「直観主義的」と言うことも珍しくなかったとか。（p234）