Esisten amás numberosos exemplos denunciaos independientes notres teoríes formales más fuertes que laritmética, como la hipótesis del continuu ol axoma delección en teoría de conxuntos; o inclusive en teoríes non directamente rellacionaes cola aritmética, como nel casu de la xeometría euclídea y el postuláu de les paraleles.