準数学者と半数学者のどちらを名乗るかをずっと検討中です。ガウスの弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子の弟子です。エルデシュの共著者の共著者の共著者の共著者です。
$\mathbb{Z}$で $a≥0$ と同値な論理式のひとつは\[∃x∃y∃z∃w[a=x⋅x+y⋅y+z⋅z+w⋅w]\] です。ラグランジュの四平方定理を使います。
