形式化群論

形式化群論(formal theory of groups)滿足群公理的形式系統.設語言丫一王十，0}，其中+是二元運算符號，0是常元符號.由下列非邏輯公理:
形式化群論
為出發點所構成的形式系統，稱為形式化群論.

相關詞條

熱門詞條

聯絡我們