Definition:First Order Logic