Así, si en uno de estos sistemas formales no pueden probarse ni la proposición formula_34 ni su negación, esa proposición debe ser verdadera.