Basically, If a contradiction might be proved in Peano arithmetic, then set theory might be logically inconsistent. is really a commutative monoid with identity factor 0. It is just a free of charge monoid on one particular generator. This commutative monoid satisfies the cancellation home, so it might be embedded https://herbalsupplement.hashnode.dev