Can someone present a consistent proof, from the McLarty axioms 1 - 15, of the following theorem: there is a real function which equals 0 on Q and 1 on R - Q just to see how the axioms work in analysis. People would be interested to compare this with a set theoretic proof. Vladimir Kanovei