and its contradiction can be chosen as a valid basis for developing a mathematical