well-defined性

量化記号

零除算

選択公理

無限直積集合

多項式