みなさんこんばんは。
前スレの定義と定理の交換可能性の提唱者です。
>>60さんの数学観と私のそれは近いと感じました。
何が定理で何が定義かは人によって違うものなのだと思います。

別に、フェルマーの最終定理を公理にしてもいいと思ってます。
ある命題が定理と言われている。
それを定義にして数学を組み立てても良いし
それを公理にして数学を組み立てても良い
と私の数学的直感力が僕にそう感じさせております。