Question

o que diz a fórmula T de Tarski? explique bem o que está nas partes esquerda e direita​

Answer 1

Resposta:

eu respondo :3

Explicação:

declarado e provado por Alfred Tarski em 1936, é um importante resultado limitativo em lógica matemática , os fundamentos da matemática, e em semântica formal. Informalmente, o teorema afirma que a verdade aritmética não pode ser definida em aritmética.

O teorema se aplica de forma mais geral a qualquer sistema formal suficientemente forte, mostrando que a verdade no modelo padrão do sistema não pode ser definido dentro do sistema.