Prove that a^2 + 1 > 0 for "all 'a' element of an 'ordered field' "?

first you need to pick domain, this holds for real numbers but not for complex ones (because i^2=-1).