Conjetura P vs NP — Desde la lógica matemática