>>861
さまざまな公理下でどのような振る舞いをするのかを確かめたいだけに用意される公理なんてのもある。

「どのような振る舞いかを調べる」という理由があるじゃないか、といわれるかもしれないが
それはたくさんの公理を用意した理由であって、
用意されたたくさんの公理のひとつひとつになにか特別の理由があるわけではない。

「それぞれ振る舞いが異なるから」という理由があるじゃないか、とまで言い出すのなら
数学でなく哲学に転向したほうがいいんじゃないかと思う。

究極的には「面白そうだから」という理由のまえでは他の全ての理由はかすんでしまうし。