Una teoría aritmética ye ω-inconsistente si, pa dalgún de los sos teoremas formales de la forma ∃x, φ(x), puede refutarse cualquier casu particular, esto ye, puede probase ¬φ([n]), pa cada numberal [n].