Consistency of ZF Set Theory

by alexfloo
Tags: consistency, theory
alexfloo is offline
Aug23-11, 02:16 PM
P: 192
I've never been exposed to this axiom schemata of replacement before, so here's my understanding of it: the axiom includes an arbitrary formula, and that formula may have arbitrarily many free variables. Therefore, a separate axiom is needed for formulas with one free variable, with two free variables, and so on.

So my first request is to criticize the above, but if it is correct, I have two questions:

First of all, the formalization of the schema I saw presented it as having a "last" free variable. Is the axiom schema only valid for fomulae with finitely many free variables? Are these the only formulas that exist, perhaps? Or is this just an artifact of the fact that the infinite multitude of axioms that fall under this schema just can't properly be recorded in the formal language?

Secondly, couldn't it be shown that every formula with k free variables is equivalent to another formula with only one? This would certainly be true if it were possible to guarantee the existence of k distinct objects in the universe, because then those k objects could be used to index a k-tuple: a single free variable which uniquely identifies all the old ones.
Phys.Org News Partner Science news on
Simplicity is key to co-operative robots
Chemical vapor deposition used to grow atomic layer materials on top of each other
Earliest ancestor of land herbivores discovered
Hurkyl is offline
Aug23-11, 03:30 PM
Sci Advisor
PF Gold
Hurkyl's Avatar
P: 16,101
Quote Quote by alexfloo View Post
the axiom includes an arbitrary formula
Actually, you can't even do that (in first-order logic) -- instead, the axiom schema actually includes one axiom for every formula.

Are these the only formulas that exist, perhaps?
Yes. Unless otherwise stated, "logic" refers to finitary logic (as opposed to infinitary logic), so that any particular formula consists of finitely many symbols.

Register to reply

Related Discussions
Consistency of a set of equations Precalculus Mathematics Homework 16
Unit Consistency Introductory Physics Homework 10
Consistency between strong/M-theory and LQG Beyond the Standard Model 1
Consistency In Expectations Current Events 19