Re: Formulating sentences in a possibly consistent ZF

Aatu Koskensilta wrote:
John Jones <jonescardiff@xxxxxxx> writes:

Recognised as ZF, rather than, say, a shopping list.

ZF is an infinite set of sentences

That's the problem of ambiguity emerging again. It isn't clear whether infinity refers to discrete sentences or a continuity that is not a property of any sentence.

and as such can't be presented to
us the way a shopping list can. Thus it makes no sense to speak of us
recognising ZF in this sense. Rather, we are presented with ZF the way
we are with any mathematical object, by means of a mathematical
description, that is, a piece of mathematical English. You will find
such a description in any text on the subject, and will in all
likelihood experience no difficulty in distinguishing it from a
shopping list.

.