>>152
実数体の公理は出ていないね