小平先生も「形式主義は疑問だ」という趣旨の
ことを何処かで書いていらっしゃる。
小平先生は、日本が生んだ「偉大な数学者」だ。
先生は、こうも言ってらっしゃる：−　
「数学基礎論を勉強してみたんだけど、さっぱり
わからなかった（理解できなかった）。　つまり、
＼(-o-)／ってことだ。　小平先生は、実に、正直
な方(kata)だと想う。　余は知る世も知る。　皆んな
知る except the so-called MatsuShinTan
(松本真吾＠鉄道総合研究所)！