The Formal Definition of P (P vs NP)