Besonderhede van voorbeeld: 2338590902316404294

English

The study of the relations between such uninterpreted formulas is called formal logic.

Spanish

El estudio de las relaciones entre tales fórmulas no interpretadas recibe el nombre de lógica formal.