Førsteordens termer

Minste bestanddelene av et førsteordens språk Eksempel i mengdelærespråket med signaturen <Ø; ∪, ∩; =, ∈ > - Termer: (x ∩ y), (Ø ∪ z), ((x ∩ y) ∪ z) - Ingen relasjonssymboler forekommer i førsteordens termer, termene referer til elementer i en mengde. - Man vil få uendelig mengde med termer, med endelig antall symboler i hver term.