Prev: what to do about the Successor axiom once it reaches 999....9999#318; Correcting Math
Next: help wanted on a trig equation #353; Correcting Math
From: Aatu Koskensilta on 1 Feb 2010 10:24
Marc Alcob� Garc�a <malcobe(a)gmail.com> writes:

> That makes a lot more sense than referred just to the axiom schema of
> replacement.

The replacement schema is why the usual axiomatizations of ZFC have an
infinite number of axioms. Levy notes there's no way of reducing the
infinite number of instances of the replacement schema to a finite
number of sentences in the language of set theory.

--
Aatu Koskensilta (aatu.koskensilta(a)uta.fi)

"Wovon man nicht sprechan kann, dar�ber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
First  |  Prev  | 
Pages: 1 2
Prev: what to do about the Successor axiom once it reaches 999....9999#318; Correcting Math
Next: help wanted on a trig equation #353; Correcting Math