Rules necessary for axioms. Not to demand in axioms any but things perfectly evident.
CivilSimian.com created by AxiomaticPanic, CivilSimian, Kalokagathia
