形式化域論(formal theory of fields)滿足域公理的形式系統.設語言丫一{+，·,0,1}由整環公理中，一Rio(參見“形式化交換環論”)加上公理}}} : t/.}(二奔o-}} .v (.v·二一1))(關於·存在逆元)作為出發點所構成的形式系統，稱為形式化域論.
