View source for First-order language

A '''First-order language''' consists of the following symbols:
#A set of constants, such as ''A'', ''B'', ''C'', ...
#A set of n-ary relations such as ''>(x, y)''.
#A set of n-ary functions such as ''+(x, y)''.
#An [[infinite]] set of variables such as ''x'', ''y'', ''z'',...
#The connectives <math>\neg</math>, <math>\wedge</math>.
#quantifiers: <math>\forall</math>, <math>\exists</math>.
#parenthesis: <math>(</math>, <math>)</math>.
#The equality symbol <math>=</math>. 

[[category:languages]]
[[category:mathematics]]