>>904
公理主義の否定は、ユークリッドの時代から
連綿と続く証明という行為の否定なんだが。

出発点となる無条件に認める命題がまず無ければ、
無からは何も証明できないだろ。
その無条件に認めてしまう命題を整理したものが公理と呼ばれるんだが。

公理主義じゃなくて>>904が反対したいのは形式主義かな？
何で価値のある公理系と無価値な公理系があるのか、
というのは確かに大きな問題なんだけど、
我々が元々持っていた概念を抽象化して形式化、公理化したからじゃないの？