Formal reeller Körper