Warning: Some posts on this platform may contain adult material intended for mature audiences only. Viewer discretion is advised. By clicking ‘Continue’, you confirm that you are 18 years or older and consent to viewing explicit content.
Yes, just relax the axiom of comprehension, allow U ∈ U and move on with proving things for fun and profit. No one said that you have to pick axioms that seem natural or intuitive.
Yes, just relax the axiom of comprehension, allow U ∈ U and move on with proving things for fun and profit. No one said that you have to pick axioms that seem natural or intuitive.