Conjunción infinita, ley de la

Conjunción infinita, ley de la. Quine [v] establece esta ley para probar la completitud del sistema.  Se le conoce también con el nombre de lema de infinitud de König o el terema del abanico de Brower.  Una clase infinita de esquemas veritativo-funcionales es consistente, si l oes cada una de sus subclases finitas. La ley estipula que una conjunción infinita de esquemas veritativo-funcionales es consistente si lo es también cada una de las conjunciones infinitas que se pueda formar a partir de miembros de la primera.  "Una clase -escribió Quine- de esquemas veritativo-funcionales recibe el calificativo de consistente, si existe una asignación de valores de verdad a las letras oracionales que convierta a todos los esquemas de la clase en verdaderos"