形式化交換群論

形式化交換群論(formal theory of Abeliangroups)滿足交換群公理的形式系統.設語言牙一}+}0}，由群論公理為出發點所構成的形式系統，稱為形式化交換群論.

形式化交換群論(formal theory of Abeliangroups)滿足交換群公理的形式系統.設語言牙一}+}0}，由群論公理

為出發點所構成的形式系統，稱為形式化交換群論.