>>176の2の外延ってなんですか？！ってのは、2を偶数と定義した場合の2の外延の話ね。