形式主義

ヒルベルト第六問題を未解決にするもの ― 数字と現実の境界にある“構造”の再設計