→ No puedes "resumir" algo irreducible en una demostración finita
→ Por tanto, P vs NP podría ser independiente de los axiomas estándar