Los matemáticos no están satisfechos porque saben que no hay soluciones hasta cuatro millones o cuatro mil millones, realmente quieren saber que no hay soluciones hasta el infinito. las leyes asociati...Los matemáticos no están satisfechos porque saben que no hay soluciones hasta cuatro millones o cuatro mil millones, realmente quieren saber que no hay soluciones hasta el infinito. las leyes asociativas:(x+y)+z=x+(y+z) y(xy)z=x(yz), y A menudo es muy útil para probar aseveraciones sobre números naturales, y requiere una comprensión de conjuntos y predicados (que se introdujeron en el Capítulo 3), pero no la teoría completa de la Lógica de Primer Orden.
