形式化
論理、ヒルベルト流、操作、言語、問題、意味、理論、情報、記述、数学