First order logic is a type of logic which is used in certain branches of mathematics and philosophy. First order logic enables the definition of a syntax which is independent of the mathematical or logical terms. 