Month: July 2022

Github repository: furea2/NGB The NBG Set Theory Axiom of Extensionality Axiom of Universe Axiom of Difference Axiom of Pair Axiom of Product Axiom of Inversion Axiom of Domain Axiom of Membership Axiom of Cycleimport Axiom of Replacement Axiom of Union Axiom of PowerSet Axiom of Infinity Axiom of Foundation Axiom of GlobalChoice 0. Prerequires The…