This episode explores the potential connection between the way observers work in physics and the axiom systems of mathematics, specifically highlighting the concept of homotopy type theory.