FWIW, <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Mizar_system" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Mizar_system</a> is based on set theory, and has traction in the math community.