Cuatrocientos kilos de axiomas