公理まで遡ってすべての定義・命題を厳密に記述・証明しなければ、正しいとは言えないはず

もし、公理まで遡る途中の定義・命題を認めても問題なく数学が出来るなら、それを公理とすればいいのでは？