About TANAKA KAZUYUKI
About 東北大 大学院理学研究科
About Mathematics
About proof (evidence)
About proposition (logic)
About imperfection
About theorem
About decision problem
About quantifier
About automaton theory
About foundation of mathematics
About mathematical logic
About recursive method
About 逆数学
About 不完全性定理
About consistency
About Mathematical physics
About Mathematics in general
About 数学