>>12401950I was kinda just shitposting, but lets say: "the set of numbers x such that there does not exist a finite number of propositions P which describe x"
So, basically, you would need an infinite number of conditions to describe the set. But, that itself is a proposition. Are there any sets for which there are an infinite number of propositions?
>>12401942>>12401955If you play around with 1/0 you end up getting some promising results, but associativity makes the whole thing collapse under its own weight, at least from the times I've played with it.
