Por otro lado, toda teoría que incluya aritmética básica no es decidible sintácticamente.