Talk:PlanetPhysics/Topos Axioms