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