0176132人目の素数さん垢版 | 大砲2020/08/07(金) 05:27:14.79ID:XseqqWR6 数字は公理系から始まる。 数学が公理系以外から命題を演繹したらそれは「論理の飛躍」と呼ばれ、証明の失敗と判定される。 猿がそれを好むか好まないかは関係ない。