教育でも実数の公理はまさかやるよね?