Re: Godels incompleteness theorem was not just about a version o

elsiemelsi schrieb:
mine says

This axiom represents the axiom of reducibility (

1. (�u)(v � (u(v) � a))
on substituting for v or u any variables of types n or n + 1 respectively,
and for a a formula which does not contain u free. This axiom represents
the axiom of reducibility (the axiom of comprehension of set theory).

--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html


Still its not the axiom of reducibility of PM.
It laks ramification and predicativity of a.

Bye
.

Relevant Pages