3 ms·

Also, lets throw out the law of excluded middle and axiom of choice!

• adamnemecek 8y ago
  No, let’s replace law of excluded middle with axiom of adversarial choice.
• JadeNB 8y ago
  > lets throw out the law of excluded middle I don't think that we should throw it out, but neither do I think that we shouldn't do so.
  • stan_rogers 8y ago
    That is the mechanism by which junk drawers and attics are filled.