@qntm It seems hard. We can't even prove that there is no contradiction in the addition function in the real word.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@qntm one could prove that all non-empty clothes dryers can lose individual socks.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@qntm No; The full Axiom of Choice is not a meaningful statement about our universe.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.