>>594
公理は全部そうだけど?