Ya está bien de corromper nuestro conjunto de teoremas, de corromper nuestros ideales.

Si es así, nos indicaría que el conjunto de teoremas del cálculo preposicional es no solamente r. e., sino también recursivo.

En ese conjunto de teoremas que, en cualquier libro de física, antecede al estudio restante y que lleva el nombre de Mecánica racional.

Existen sistemas formales cuyo espacio negativo ( conjunto de no teoremas) no es el espacio positivo ( conjunto de teoremas) de ningún sistema formal.

De la confusa diversidad de doctrinas presentadas con la etiqueta de ley natural apareció finalmente un conjunto de teoremas que ninguna reflexión podrá jamás invalidar.

Una vez logrado esto, para completar el sistema bastaría con introducir "simplemente" los términos monetarios en el conjunto de teoremas relativos al cambio directo.