Infundamento em Lógica Matemática e Teoria dos Modelos

Infundação é um conceito usado na lógica matemática e na teoria do modelo para descrever a propriedade de uma afirmação ou fórmula ser improvável dentro de um determinado sistema. Em outras palavras, é uma afirmação que não pode ser deduzida dos axiomas do sistema.

Por exemplo, a afirmação "esta frase é falsa" é infundada na lógica proposicional clássica, porque não pode ser provada ou refutada dentro do sistema. Da mesma forma, a hipótese do contínuo é infundada na teoria dos conjuntos de Zermelo-Fraenkel, porque não pode ser provada dentro do sistema.

A infundação é um conceito importante na teoria dos modelos, porque nos permite distinguir entre afirmações que são verdadeiras, mas improváveis, e afirmações que são falso, mas improvável. Por outras palavras, a infundação proporciona uma forma de identificar afirmações que não são demonstráveis num determinado sistema, mas que ainda podem ser verdadeiras.