Properties like completeness (every bounded set has a least upper bound) are essentially second-orde...