Así como hemos definido una serie de nociones semánticas importantes (validez, vinculación, satisfacción), ahora definimos nociones teóricas de prueba correspondientes.
Si{Gi} es una cubierta abierta deF, entonces cada puntox∈F está en algunosGi y es su punto interior( for Gi is open ), por lo...Si{Gi} es una cubierta abierta deF, entonces cada puntox∈F está en algunosGi y es su punto interior( for Gi is open ), por lo que hay un globoGx(εx)⊆Gi. En general, los radiosεx de estos globos dependen dex, i.e., son diferentes para diferentes puntosx∈F. Si, sin embargo, ellos se puede elegir todos iguales a algunosε, entonces esto\…
Así como hemos definido una serie de nociones semánticas importantes (validez, vinculación, satisfacción), ahora definimos nociones teóricas de prueba correspondientes. Estos no se definen por la apel...Así como hemos definido una serie de nociones semánticas importantes (validez, vinculación, satisfacción), ahora definimos nociones teóricas de prueba correspondientes. Estos no se definen por la apelación a la satisfacción de las sentencias en las estructuras, sino por la apelación a la derivabilidad o no derivabilidad de ciertos secuentes. Fue un descubrimiento importante que estas nociones coincidan. Lo que hacen es el contenido del teorema de solidez e integridad.