學習代數結構的不同標準的分類

本文探討了用於學習代數結構的不同學習標準，並證明了這些標準可以用無窮邏輯中的語法來刻劃，特別是 Σinf 1 和 Σinf 2 公式。