Definition:Zeroth Order Logic