>何百ページ分もあります。
それはどうみても公理という言葉を使うのがおかしい。
その何百ページの解説がいくつかの公理から導かれるというならわかりますが。