2を偶数だと定義するとき、2の外延はいらない(ってかそもそも2の外延ってなんですか？！)って主張でいいよ