「数学的帰納法」が命名されたタイミングではまだ公理に入ってなかった