Tommy discusses proof theory.

See All 440 Episodes of "What I Learned Today"