Aunque siempre se use en sentido impreciso, es un concepto central en matemáticas, ciencia que aspira a desentrañar con rigor lo que se entiende por canónico y a sacar a la luz todo lo que es canónico.