On the principle of the excluded middle