20150128

Q' を 0 以上の有理数全体からなる集合とする.
∀a((a∈Q')⇒∃b(∃c(∃d(∃e((b∈Q')∧(c∈Q')∧(d∈Q')∧(e∈Q')∧(a^2=b^2+c^2+d^2+e^2)))))).