Re: [escepticos] cuantificadores

["Miguel A. Lerma" <mlerma@...>]

 > > De un sistema formal se dice que es consistente si en el no es
 > > posible deducir contradicciones, es decir, proposiciones de la
 > > forma "A y no A".  De un sistema formal se dice que es omega-
 > > consistente si no contiene un predicado numerico de la forma P(n)
 > > tal que:
 > >
 > > 1. Todas las formulas P(0), P(1), P(2),... son deducibles.
 > >
 > > 2. La formula "no para todo n, P(n)" es tambien deducible.
 >
 > Por ejemplo si P(n) es la proposición "n es un número natural" no es cierta para
 > 1/3 ¿y que?

Por "predicado numerico" me referia a un enunciado sobre numeros 
naturales, y  1/3 no es un numero natural. Aqui "no para todo n, P(n)" 
quiere decir "para todo n _natural_, P(n)".


Miguel A. Lerma