En general, en el modelo de la teoría, uno supone que las estructuras (modelos) son no vacíos. No me gusta este (relacionado: ¿Cuál es el trato con el vacío de los modelos en lógica de primer orden?). Así que vamos a permitir explícitamente el vacío de las estructuras.
Mis preguntas son:
- Puede usted dar un completo cálculo de la lógica de primer orden que funciona por vacío estructuras demasiado? Por "trabajar para vaciar estructuras demasiado", me refiero a que si la demandada cálculo demuestra una frase, entonces esta frase debe mantener en todas las estructuras, también en el vacío de las estructuras.
- Puede usted dar una integridad a prueba en este cálculo?
Usted puede preguntarse: ¿por qué no buscar en el estándar de la lógica de los textos, donde una completa cálculo + prueba de la integridad debe ser dado? Pero mi problema es: En cada lógica de texto que permite vaciar los modelos, no dan una completa cálculo y la prueba de la integridad. En su lugar, demostrar el teorema de compacidad y otro estándar de los resultados con el modelo puramente teórico de los métodos, en lugar de la prueba teórica de los métodos. Ejemplos de estos textos:
