AXIOMTICA

103

AXIOMTICA

da A., no seno um desses modelos. A caracterstica da A. prestar-se a interpretaes ou a realizaes diferentes, das quais constitui a estrutura lgica comum. 2 O mtodo A. um poderoso instrumento de generalizao lgica. Um dos modos de generalizao desse mtodo consiste em destruir, sucessivamente, alguns axiomas de certa teoria dedutiva, conservando os outros e, assim, construindo teorias cada vez mais abstratas. O sistema gerado pela A. assim restringida coerente se o sistema inicial o for e constitui uma generalizao deste. 3a A A. torna indispensvel distinguir trs modos pelos quais possvel diferenciar uma teoria dedutiva da outra. Consideremos o caso da geometria euclidiana. Em primeiro lugar, se modificarmos um dos seus postulados, obteremos outras geometrias denominadas prximas ou aparentadas; nesse sentido, fala-se de pluralidade de geometrias. Em segundo lugar, podemos efetuar a reconstruo lgica de qualquer uma dessas geometrias de vrios modos, isto , segundo A. diferentes; e essas A. sero equivalentes entre si. Enfim, se escolhermos uma dessas A., na maioria das vezes ser possvel encontrar interpretaes diferentes para ela: haver vrios modelos dela, que sero chamados isomorfos. Haver assim: d) uma pluralidade de geometrias; b) uma pluralidade de A. para uma mesma geometria; c) uma pluralidade de modelos para uma mesma A. 4e A caracterstica fundamental da A. a escolha e a clara enunciao das proposies primitivas de uma teoria, isto , dos axiomas que introduzem os termos indefinveis e esta-

belecem as regras de uso indemonstrveis. A escolha das noes primitivas parte fundamental da constituio de uma axiomtica. Hoje est claro, porm, que as prprias noes de "primitivo", "indefinvel" e "indemonstrvel" so relativas, no sentido de que um termo indefinvel ou uma proposio indemonstrvel, dentro de um sistema, podem ser definveis ou demonstrveis se as bases do sistema forem modificadas. P. ex., na geometria euclidiana no se pode demonstrar o postulado das paralelas, mas se renunciarmos a demonstrar o teorema de que a soma dos ngulos de um tringulo igual a dois retos, poderemos assumir essa proposio como um axioma e demonstrar a unicidade da paralela. Alm disso, muitas vezes os termos no definidos so implicitamente definidos pelo conjunto dos postulados previamente escolhidos (definio por postulados). Diz-se que a escolha dos postulados livre, mas na realidade deve obedecer a determinadas condies que a limitam notavelmente; para essas condies, v. AXIOMA. 5Q J se disse (v. AXIOMA) que o limite fundamental para a escolha dos axiomas a sua coerncia ou compatibilidade. Todavia, um teorema de Godel (1931) estabeleceu que uma aritmtica no contraditria comporta enunciados no decididos e, entre esses enunciados, est a no-contradio do sistema aritmtico. Em outros termos, se permanecermos no mbito de um sistema, no ser possvel estabelecer a no-contradio desse mesmo sistema. Esse um dos limites da A., alm dos que foram evidenciados pela corrente intuicionista dos matemticos (v. MATEMTICA).