Describir: Consistencia aritmética y completud para Σ₂-numeraciones