"Real algebraic closure of ordered field, in Axiom" - читать интересную книгу автора (Rioboo.)