数字は公理系から始まる。


数学が公理系以外から命題を演繹したらそれは「論理の飛躍」と呼ばれ、証明の失敗と判定される。


猿がそれを好むか好まないかは関係ない。