まだ良く知られていない公理が密輸されていないかが心配なところだな。
昔の数学は選択公理を公理として受け入れているという意識が無くて、
有限の場合の単純な一般化で当然成り立つと思っていたので、わざわざ
選択公理を取り入れているという意識が全く無しに数学を邁進していた。