Dyskusja:Term
Z Wikipedii
Moim zdaniem term oprócz zmiennych może zawierać też stałe. Patrz: język.
Oczywiście, tak jak zresztą pisze:
- Term to wyrażenie składające się ze zmiennych oraz symboli funkcyjnych o dowolnej arności (w tym o arności 0, czyli stałych).
Stałe to też symbole funkcyjne. Taw 03:53, 6 lut 2004 (CET)