Nació así la lógica formal.