Expand
until we find a sequence of 100 successive 0's.
Let this happen at the nth digit.
Then uptil n
is identical with
if n is odd let
terminate at the nth digit
..
<
if n is even let
have a 1 in (n+1)th place
..
>
Convides the numbers Q where
Q=
-
Is Q positive, zero, negative?
Constructionals say that none is true. Q will be positive, 0, negative at such a time that someone determines which is the case. Until then is is none of the three. Thus mathematical truth is dependent and subjective.