This SMGloM repository contains SMGloM modules for (naive) set theory, it is intended as a base for informal but rigorous mathematics.