一個數學理論mathematical theory)係指一個基於公理數學模型