有限公理化可能な理論は、たとえそれらが推論を行う上で実用性に劣っていても、超数学的なエレガントさの上では幾分か優位であると看做される。
可有限公理化的理论在元数学中被认为是较为重要的，即使这些理论在推导工作上较少有实际的用途。