Sin embargo, también existen argumentos que son intuitivamente válidos, pero cuya validez no se puede probar por la lógica proposicional.