Comment by auggierose
7 days ago
Formal can be foolish, too. If you don't believe that, then I have a set for sale, with the property that it contains all sets that don't contain itself.
7 days ago
Formal can be foolish, too. If you don't believe that, then I have a set for sale, with the property that it contains all sets that don't contain itself.
The problem you’re referring to arose precisely due to lack of formalism. It was a problem back when mathematicians were toying with naive set theory, one not based on axioms, but instead on intuitive terminology. Moving to axiomatic, more formal, set theory solved it.
The problem is the same, no matter if you look at it formally or informally. You could get your set theory axioms wrong, for example, but you would still be formal. Oh wait, you have a proof that set theory is consistent, right?