Promover el perfeccionamiento de las teorías fundamentales de las matemáticas