ZF set theory

Scott Aaronson on Computational Complexity Theory and Quantum Computers

Y Combinator

A foundational axiomatic system for mathematics, used here in the context of limitations on proving the values of the Busy Beaver function.