>>983
その公理系っていうのは
どっからでてくるんものなんですか?