>>531
公理系は？
色々と流儀があるからどの公理系かわからんぞ。