ℕの冪集合の各々の元の存在を言うにはP(ℕ)が必要だから循環論法では?