Mathematicians learn to measure curved space and count different sizes of infinity, only to discover that some truths can never be proven at all.