===== INDEMONSTRÁVEL =====
(in. Undemonstrable; fr. Indémontrable; al. Unerweislich; it. Indimostrabile).

Aquilo que [[lexico:n:nao:start|não]] necessita de [[lexico:d:demonstracao:start|demonstração]] porque sua [[lexico:v:verdade:start|verdade]] é evidente. Neste [[lexico:s:sentido:start|sentido]], são indemonstráveis os [[lexico:p:primeiros-principios:start|primeiros princípios]] da [[lexico:l:logica:start|lógica]] de [[lexico:a:aristoteles:start|Aristóteles]] (v. axiomas) e os anapodíticos dos estoicos (v. [[lexico:a:anapoditico:start|anapodítico]]).

2. As proposições primitivas ou em [[lexico:g:geral:start|geral]] os antecedentes de um [[lexico:s:sistema:start|sistema]] [[lexico:s:simbolico:start|simbólico]] qualquer que sirvam de [[lexico:f:fundamento:start|fundamento]] das regras de demonstração próprias do sistema. Neste sentido, são indemonstráveis os axiomas, as definições e as regras de [[lexico:t:transformacao:start|transformação]] de [[lexico:t:todo:start|todo]] sistema simbólico.

3. As proposições indecidíveis, isto é, as proposições que não podem [[lexico:s:ser:start|ser]] consideradas verdadeiras ou falsas em [[lexico:d:dado:start|dado]] sistema simbólico, mas que podem ser decididas num sistema mais amplo, onde porém se apresentam com outra [[lexico:f:forma:start|forma]]. Neste sentido, são indemonstráveis as proposições que constituem as [[lexico:a:antinomias:start|antinomias]] lógicas ; é indemonstrável a não-contradição em [[lexico:m:matematica:start|matemática]] e em geral dos sistemas simbólicos (v. [[lexico:a:antinomia:start|antinomia]]; matemática; sistema).

4. Toda [[lexico:c:crenca:start|crença]] ou pretensão que não possa ser apoiada por provas. Este é o [[lexico:s:significado:start|significado]] mais geral e [[lexico:i:indeterminado:start|indeterminado]] com que [[lexico:e:esse:start|esse]] [[lexico:t:termo:start|termo]] é usado frequentemente na [[lexico:l:linguagem:start|linguagem]] comum. Assim, denominam-se indemonstráveis certas crenças religiosas, [[lexico:b:bem:start|Bem]] como a pretensão de crédito não apoiada em documentos ou testemunhas. Asserções concernentes a fatos muitas vezes são declaradas indemonstráveis pela mesma [[lexico:r:razao:start|razão]].

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}