>>45
ついに、ビールとかの無定義用語の話が来ましたか。
ヒルベルトと言ったらヒルベルトの問題か、その話かヒルベルトの定理90とかが浮かんでいました。