La fuerza de la Lógica Formal reside en su capacidad para... deducir precisa y, en muchos casos, mecánicamente, ciertas expresiones simbólicas nuevas a partir de otras anteriores. Las expresiones inferidas son los teoremas. Así se abre el texto: con los s