  Intellectual space is defined as the set of all proofs of mathematical logic,
contained in The Book conceived by Erdos. Physical and intellectual spaces are
visualized, making use of concepts from intuitive set theory.
