>>194114
What do you think of the principle of the excluded middle (PEM)? I prefer constructive logic (where PEM isn't an axiom and isn't provable in general), because applying PEM to an undecidable proposition is rather questionable IMHO.