On the significance of the principle of excluded middle in mathematics, especially in function theory.