>>242
> 日本で「基礎論」という言葉が誤解されてるのは高木貞二が定年後に
> 講演とかで適当なことを喋って誤解をばら蒔いたりしたせいが大きい
> 日本でGentzenの証明論が過大評価されてるのは竹内外史のせい

うーむ、隔世の感あり。一寸前まではこの二人を悪く(=事実を曲げずに)言うと
袋叩きにあったもんな。