Hello,
I would like to try double crux https://www.lesswrong.com/posts/exa5kmvopeRyfJgCy/double-crux-a-strategy-for-resolving-disagreement with someone. My statement A is "There is God" (I indeed believe in it, it is not just for the sake of trying the technique). I have three cruxes (well, two and a half, to be honest), according to the rules I do not publish it here so that you would prepare your cruxes independently.
Thank you!
That's your crux? Lesser interpretations than E won't do?
I am not convinced that E is logically coherent. It's as meaningless as "married bachelor".
Then, for any given fact f, there is a further fact f ' stating that it's either in or not in each subset of O in p(O).
Thus, there must be at least as many facts as there are elements of p(O), which, being the powerset of O, by Cantor's Theorem must have a strictly greater cardinality than O.
But we assumed that O contains all facts. Contradiction!
And Cantor's Theorem holds even for infinite sets! Q.E.D.
Did I just disprove God?