What would be an example of decidable & undecidable in First Order Logic?
Edit: With first order formulas