Presentamos una caracterización prueba-teórica y semántica de una lógica en la firma con conjunción, disyunción, negación y los cuantificadores universal y existencial que sugerimos tiene cierto estatus fundamental.