HomeZJU EventsInvited TalksZachiri McKenzie: Comparing foundational theories of mathematics and understanding subsystems of ZFC