
Hi,
I'm having a little problem with definition A.8 (the principal nth root).
The way it is formulated, the definiendum appears literally in the definiens.
I wonder if it wouldn't be better to go " the principal nth root of a, denoted so and so, is the unique real number b such that b to the power etc..."
In definition A.3 (subset) the connective 'if' is used where one would expect 'if and only if'.
That's nitpicking.
Please tell me to shut up.
