“It is heartening to be able to end a textbook that has no prerequisites with a problem that has not yet been solved.”Irving Copi Last words, referring to the Skolem's paradox Symbolic Logic
