>>844
公理とはなんですか?