Gdels Incompleteness Theorem T-Shirts

Description: "No consistent formal system rich enough for arithmetic can prove all truths. A solid structure of axioms with an empty slot at the top and a statement hovering above it makes one of the great results of logic tangible. Gödel's incompleteness theorem (1931): a pyramid of axioms with one gold block, G, floating out of reach. True but unprovable, with the self-referential formula G ↔ ¬Prov(⌜G⌝). For mathematicians, logicians, computer scientists, physics and philosophy students, and lovers of self-reference and paradox. A brilliant gift for anyone fascinated by the limits of proof.