TY - RPRT TI - Goldbach Conjecture and First-Order Arithmetic AU - Fernando Revilla PY - 2007 UR - https://arxiv.org/abs/0711.1126 ID - 0711.1126 ER -