小平先生がヒルベルトのビールを何度も批判をしている。
ヒルベルトの言いたかったことは、
意味論だけでなく構文論があるということではなかったのか。
日本の数学者の限界なのか。。。