Danny
2008-05-03 00:41:26
I spoke to a couple of Model Theorist mates of mine and they have promised that if you can derive the “law of excluded middle” from a list of axioms – you can pick the axioms, like any mathematician – they will get your extraordinary breakthrough in logic published in the top journals!! I look forward to your proof, as you clearly think it is obvious it shouldn’t take you long….
More seriously, your assumption this must be true is a prime example of the lack of rigour I meant and the inability to spot subtleties.
