奇素数1是数论形式逻辑的根

cuikun-186

数学中的形式逻辑：是在定理（或者是公理）的前提下的严谨推理形成的逻辑，形式逻辑的根自然是被运用的定理或者公理。