That is cheating, though, since you cannot even formulate well-ordering conditions categorically in first-order logic, neither can first-order logic distinguish

That is cheating, though, since you cannot even formulate well-ordering conditions categorically in first-order logic, neither can first-order logic distinguish between finite and infinite domains.