Go to Google Groups Home    sci.logic
Re: Godels incompleteness theorem was not just about a version o

Jan Burse <janbu...@fastmail.fm>

elsiemelsi schrieb:

> IV. Every formula derived from the schema

> 1. (â u)(v â (u(v) â ¡ a))

But this is not PM. There is a ramification
and a predicativity condition missing on a.

Bye