The author works on a project in the area of Mathematical Logic and Applied Type Theory. Is there a type theory for 𝕠𝕡? HoTT III: Sets and Logic HoTT II: The essentials HoTT I: The type theory An inquiry into the Foundations of Mathematics ZFC and propositional logic