"Axioms and hulls" - читать интересную книгу автора (Knuth D.E.)