今までの公理から導けるのに公理に格上げする場合ってある？
公理と入れ替える場合ならあるけど。