episode link

Genius S1E13 (FINALE) On Formally Undecidable Propositions