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