>>864
数学において素朴に考えられた公理の概念を抽象化したものですから、なんとなくわかるでしょう