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