математик бодит байдал
[1-1-5-1]日本語
数学的現実
英語
mathematical reality
備考
formalization of world