Si bien hemos dado nombres a estas fórmulas que sugieren que se trata de fórmulas y términos y tautologías y deducciones, las fórmulas son fórmulas de teoría elemental de números, por lo que las fórmu...Si bien hemos dado nombres a estas fórmulas que sugieren que se trata de fórmulas y términos y tautologías y deducciones, las fórmulas son fórmulas de teoría elemental de números, por lo que las fórmulas no saben que se trata de algo más allá de si este número es mayor que ese número, no importa cuánto quieres antropomorfizarlos.