Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria de Hilbert:

Sobre o Vollständigkeitsaxiomÿ
(Completeness and Continuity in Hilbert Foundations of Geometry:
on the Vollständigkeitsaxiom)

Eduardo N. GIOVANNINI

Recebido: 4.1.2012
Versão final: 8.3.2012

BÍBLIA [0495-4548 (2013) 28:76; pág. 139-163]

RESUMO: O artigo documenta e analisa as vicissitudes em torno da incorporação por Hilbert de seu famoso axioma da
completude ao sistema axiomático da geometria euclidiana.
Essa tarefa é realizada com base no material fornecido por suas anotações manuscritas para as aulas,
correspondentes ao período 1894-1905. Argumenta-se que essa análise histórica e conceitual não só permite
esclarecer como Hilbert originalmente concebeu a natureza e a função do axioma da completude em sua
versão geométrica, mas também permite dissipar mal-entendidos sobre a relação desse axioma com a
propriedade metalógica .completude de um sistema axiomático, como concebido por Hilbert neste estágio
inicial.

Descritores: Hilbert, geometria euclidiana, axioma da completude, axiomas da continuidade, método

axiomática, filosofia da geometria

RESUMO: O artigo relata e analisa as vicissitudes em torno da inclusão de Hilbert de seu famoso axioma da completude,
em seu sistema axiomático para a geometria euclidiana. Essa tarefa é realizada com base em suas notas
inéditas para cursos de palestras, correspondentes ao período 1894-1905. Argumenta-se que esta análise
histórica e conceitual não apenas lança uma nova luz sobre como Hilbert originalmente concebeu a natureza
de seu axioma geométrico de completude, mas também permite esclarecer alguns equívocos sobre esse
axioma e a propriedade metalógica de completude de um sistema axiomático, como foi entendido por Hilbert
nesta fase inicial.

Palavras-chave: Hilbert, geometria euclidiana, axioma de completude, axiomas de continuidade, axiomáticos

hod, filosofia da geometria

ÿ
Em primeiro lugar, gostaria de agradecer expressamente aos dois pareceristas
anônimos do Theo ria, cujos comentários e sugestões me permitiram fazer importantes
melhorias e esclarecimentos na versão original do artigo. Versões preliminares deste
trabalho foram apresentadas na 16ª Conferência Brasileira de Lógica (Petrópolis) e
no Colóquio de Lógica Matemática (ILLC–Amsterdam). Agradeço aos participantes
dessas seções por suas críticas. Também gostaria de expressar minha gratidão a
Alejandro Cassini, Ricardo Toledano e Jorge Roetti, por seus comentários em versões
anteriores deste artigo. Finalmente, agradeço ao Niedersächsische Staats– und
Universitätsbi bliothek Göttingen pela permissão para citar os manuscritos de Hilbert;
especialmente o Dr. Helmut Rohlfing da Handschriftenabteilung.

TEORIA 76 (2013): 139-163

Machine Translated by Google

140 Eduardo N. GIOVANNINI

1. introdução

Em sua palestra clássica “Über den Zahlbegriff” (Hilbert 1900b), proferida em 19 de setembro
de 1899 em Munique perante o Deutsche Mathematiker Ve reinigung (DMV), Hilbert apresentou
a primeira caracterização axiomática do sistema de números reais como um corpo ordenado de
Arquimedes. ou máximo – como atualmente designado. Tal caracterização axiomática dos
números reais foi baseada nos axiomas para um “conjunto de números complexos”, apresentados
por Hilbert alguns meses antes, na primeira edição de Fundamentos da Geometria (Cf. Hilbert
1899, §13).1 Em De fato, a única diferença entre os dois sistemas de axiomas foi que, em sua
palestra em Munique, Hilbert propôs pela primeira vez seu axioma original de completude
[Vollständigkeitsaxiom]. Como se sabe, a função desse axioma era garantir a propriedade de
completude dos números reais de maneira "indireta", a saber: estabelecendo uma condição de
maximalidade sobre o conjunto de elementos do sistema, cuja consequência imediata era que a
ordenação completa do campo dos números reais tornou-se a única realização ou "modelo"
capaz de satisfazer todos os axiomas.

Pouco tempo depois, Hilbert emulou a estratégia adotada para a aritmética dos reais,
incorporando seu novo axioma da completude ao sistema de axiomas da geometria euclidiana
elementar, que na versão original tinha o axioma de Arquimedes como único axioma da
continuidade. Em sua versão geométrica, o axioma da completude apareceu pela primeira vez
na tradução francesa do Festschrift (Hilbert 1900a), publicada em abril de 1900; mais tarde na
edição inglesa de EJ Townsend (Hilbert 1902a), e mais tarde na segunda edição alemã (Hilbert
1903).

Quanto às suas consequências, a incorporação do axioma da completude tem como

resultado que a geometria analítica construída sobre os reais – isto é, a geometria 'cartesiana' –
torna-se o único 'modelo' numérico (salvo isomorfismo) de seus axiomas para a geometria
elementar. Nesse sentido, os efeitos da inclusão do axioma da completude são notavelmente
importantes, e talvez seja por isso que a circunstância de esse axioma não aparecer na primeira
edição de Fundamentos de geometria, mas sim uma modificação introduzida em edições
posteriores. edições, tem sido constantemente mencionado na literatura. Como exemplo, podem
ser consultados os trabalhos de Rowe (2000) e Corry (2004), que ofereceram talvez a
reconstrução mais influente e difundida a esse respeito.

Resumidamente, a explicação oferecida por esses autores observa o seguinte.

É necessário reconhecer que, para apresentar uma caracterização da geometria analítica
"cartesiana" como a realização de seus axiomas para a geometria sintética, Hilbert teve que
fornecer uma descrição detalhada da estrutura do sistema de números reais. No entanto, esta
tarefa envolveu um

1
A partir de agora chamaremos a primeira edição de Fundamentos da Geometria "Festschrift".
Hilbert (1899).

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 141

considerável, pois na época da publicação do Festschrift, Hilbert ainda não tinha

uma caracterização axiomática dos números reais.
Nesse sentido, o famoso matemático alemão percebeu inteligentemente que,
se seu sistema de axiomas incluísse o axioma de Arquimedes como único
axioma de continuidade, essa dificuldade poderia ser evitada. Ou seja, se o
axioma de Arquimedes figurava como o único axioma da continuidade, era
possível construir uma realização aritmética para o sistema de axiomas a partir
de um corpo numérico menor, como um corpo contável composto de números
algébricos. Então, de acordo com essa interpretação, a recusa de Hilbert em
trabalhar na primeira edição de Fundamentos da Geometria com a geometria
analítica cartesiana como o único 'modelo' de seus axiomas, é explicada em
virtude das dificuldades envolvidas em ter que dar conta das propriedades de o
sistema dos números reais.
Por outro lado, apontam esses autores, essa estratégia foi, por sua vez,
totalmente coerente com os interesses que se revelam nas investigações
axiomáticas de Hilbert no campo da geometria. Ou seja, uma rápida olhada em
seu livro mostra que o problema da consistência da geometria euclidiana, ou
mais precisamente, a questão de provar a consistência da geometria mostrando
que seu sistema de axiomas poderia ser reduzido aos axiomas dos números
reais, foi de forma alguma uma preocupação central neste momento. De fato,
Hilbert dedica apenas duas páginas ao problema da consistência, limitando-se
apenas a apontar que a geometria cartesiana poderia ser usada para provar a
consistência de seus axiomas para a geometria sintética. Em suma, a
caracterização axiomática dos números reais apresentada em (Hilbert 1900b),
onde o axioma da completude era responsável por assegurar a propriedade de
completude do conjunto dos números reais, foi fundamental para que Hilbert
decidisse quase que imediatamente trabalhar com o continuum dos números
reais. números reais como a única realização aritmética de seus axiomas para
a geometria.
Ora, embora na minha opinião esta explicação esteja largamente correcta,
existem, no entanto, outros aspectos que podem agora ser tidos em conta. Em
particular, esta tarefa pode ser realizada graças ao material muito interessante
fornecido pelas notas de Hilbert para as aulas [Vorlesungen] sobre geometria e
aritmética, correspondentes ao período entre 1894 e 1905 . contexto em torno
da decisão de Hilbert de adaptar seu axioma de completude para números reais
e incorporá-lo ao sistema de axiomas para geometria.

Para isso, tentarei mostrar em primeiro lugar que a 'completude' de que fala
esse axioma, de modo algum se refere à completude do sistema de axiomas,
em sentido estrito. Este fato, explicitamente observado por Hilbert em um
período posterior, às vezes não é claramente expresso na

Sobre o caráter dessas notas manuscritas, ver Hallett e Majer (2004) e Corry (2004).
dois

Teoria 76 (2013): 139-163

Machine Translated by Google

142 Eduardo N. GIOVANNINI

literatura. Em segundo lugar, argumentarei que essas discussões não apenas

tornam possível obter maior clareza sobre como Hilbert julgou a natureza e a
função do axioma da completude em seu sistema de axiomas para geometria
elementar, mas também permitem distinguir certas diferenças importantes entre
os axioma da completude papel que este axioma cumpre no sistema de axiomas
para reais e no sistema para geometria. Em terceiro lugar, argumentarei que a
investigação que realizaremos pode produzir resultados interessantes sobre a
maneira como Hilbert considerou a importância da propriedade 'metalógica' da
completude, neste período inicial de suas investigações axiomáticas no campo
da geometria. A elucidação desses três pontos, argumentarei por fim, fornece
elementos valiosos para alcançar uma perspectiva melhor contextualizada da
abordagem axiomática da geometria desenvolvida por Hilbert no final do século
XIX e início do século XX.

2. Completude e continuidade

2.1. O sistema original do Festschrift (1899)

O sistema de axiomas para a geometria euclidiana, apresentado por Hilbert na
primeira edição de Fundamentos da geometria, era composto por vinte axiomas
divididos em cinco grupos: Grupo I: axiomas de incidência (sete axiomas); Grupo
II: axiomas de ordem (cinco axiomas); Grupo III: axioma das paralelas; Grupo IV:
axiomas de congruência (seis axiomas); Grupo V:
axioma da continuidade.
Dependendo do nosso interesse, segue-se que o grupo de axiomas de
continuidade merece atenção especial. Como já mencionamos, no schrift do Fest
esse grupo era formado apenas pelo axioma de Arquimedes, conforme a seguinte
versão:
Axioma de Arquimedes: Seja A1 qualquer ponto em uma linha reta entre quaisquer dois pontos A
e B. Então pegue os pontos A2, A3, A4 tais que A1 esteja entre A e A2, A2 entre A1 e A3, A3 entre
. . . , A2 e A4 , etc.; prevêem ainda que os segmentos

Para A1, A1 A2, A3 A4, ...

são iguais entre si. Então, na série de pontos A2, A3, A4, . . . , existe sempre um ponto
An, tal que B está entre A e An.

Figura 1: Axioma de Arquimedes (Hilbert 1899, p. 19)

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 143

Um papel muito importante que o axioma de Arquimedes desempenha na

geometria elementar é que ela permite basear o processo de medição – por
isso também é conhecido como o axioma da medida que dá origem–, à introdução dos números.
Ou seja, embora baseado nos axiomas I-III (incidência,
ordem e congruência), é possível comparar o comprimento dos segmentos, somente a partir
do axioma de Arquimedes podemos definir para cada segmento de tal forma
único um número (positivo), que é identificado pelo comprimento desse segmento.
Em outras palavras, o axioma de Arquimedes permite introduzir
de números em geometria, na medida em que permite, juntamente com o conjunto de
todos os segmentos, o conjunto de seus segmentos é completamente determinado.
comprimentos.
Agora então, por si só o axioma de Arquimedes não é suficiente para o
os comprimentos dos segmentos cobrem todos os números reais; isto é, para garantir
reciprocamente que, qualquer que seja o número real a > 0, existe um
segmento cujo comprimento lhe corresponde. Ao contrário, para isso é
É necessário acrescentar um novo axioma de continuidade. Como se sabe, alguns
as alternativas usuais são o princípio da continuidade de Dedekind3, algumas
princípio equivalente como o axioma do supremo, ou o princípio conhecido como axioma de
Cantor dos intervalos embutidos. Apenas apelando para um dos
desses princípios é possível assegurar que entre o conjunto ordenado de todos os
os pontos em uma linha e o conjunto ordenado de números reais podem
estabelecer uma correspondência um-para-um, de modo que os elementos
correspondentes estão na mesma relação de ordem, ou seja, a continuidade
da reta
Por outro lado, o sistema de coordenadas para a linha, plano e espaço
que pode ser estabelecido exclusivamente usando o axioma de Arquimedes apenas
pode corresponder a um campo numérico contável de Arquimedes, como
por exemplo, números racionais. Para obter uma correspondência biunívoca com todos os
números reais – ou seja, com geometria analítica “cartesiana”
– é necessário recorrer a algum outro princípio de continuidade, como
qualquer um dos mencionados. Consequentemente, na medida em que o
Festschrift o grupo de axiomas de continuidade consistia apenas em
Axioma de Arquimedes, Hilbert usa como a realização mais aritmética
de seus axiomas para um subcampo pitagórico4 (contável) dos reais,
a saber: o corpo ÿ de números algébricos, definido como segue:

Seja ÿ o corpo de todos os números algébricos decorrentes do número 1 e de

aplicar, um número finito de vezes, as quatro operações aritméticas de adição,
subtração, multiplicação e divisão, e a quinta operação ÿ1 + ÿ2, onde ÿ d

3
A propósito, como será visto a seguir, se os axiomas I-III (incidência, ordem e
congruência) é adicionado o princípio de Dedekind –ou algum axioma equivalente–
então o axioma de Arquimedes pode ser provado como um teorema.
4
Um corpo K é dito pitagórico se for ordenado e se, para cada elemento a ÿ K, a raiz
quadrado ÿ1 + a2 existe em K.

Teoria 76 (2013): 139-163

Machine Translated by Google

144 Eduardo N. GIOVANNINI

apresenta um número que surge dessas cinco operações.5 (Hilbert 1899, p. 454)
Em vez de apelar para o sistema de números reais, Hilbert decidiu em
1899 trabalhar com uma realização aritmética "menor" como o corpo ÿ,
para mostrar a independência e consistência de seus axiomas. No entanto,
como veremos a seguir, tanto em artigos publicados quanto em notas de
palestras anteriores ao Festschrift, Hilbert menciona e até faz uso dos
princípios de continuidade de Dedekind e Cantor. Na minha opinião, isso
sugere que, independentemente da explicação dada acima, existem outras
razões por trás da decisão de Hilbert de esperar até que um axioma das
características do axioma da completude esteja disponível, para incorporá-
lo como o segundo axioma da continuidade. Além disso, acredito que tentar
expor essas razões pode contribuir para obter clareza sobre como Hilbert
apreciou a natureza do axioma da completude, muitas vezes lido em uma
chave excessivamente modelo-teórica e, portanto, anacrônico.6

2.2. O axioma (geométrico) da completude

O axioma da completude, acrescentado na primeira edição francesa (Hilbert
1900a) e depois a partir da segunda edição alemã (Hilbert 1903), é o
seguinte:
Axioma da completude: Os elementos (pontos, linhas, planos) da geometria formam um
sistema de objetos que, se mantidos todos os axiomas mencionados, não é extensível;
ou seja, não é possível adicionar outro sistema de objetos ao sistema de pontos, linhas e
planos, de modo que no sistema obtido por esta composição os axiomas I–V.1 sejam
válidos.

O que mais chamou a atenção em relação a esse axioma é que a

maneira peculiar como ele é formulado lhe confere um caráter bastante
diferente em relação aos demais axiomas. De fato, enquanto os axiomas I-
V.1 falam diretamente dos elementos básicos do sistema e predicam
relações sobre eles, o axioma da completude refere-se aos axiomas
anteriores e às possíveis realizações dos axiomas. Em outras palavras,
enquanto os axiomas I-V.1 podem ser formalizados em uma linguagem de
primeira ordem, o axioma da completude requer uma linguagem de segunda
ordem, na medida em que envolve a quantificação sobre 'modelos' dos
axiomas . caráter “logicamente complexo” do axioma da completude a ser
enfatizado em geral, em comparação com o resto dos axiomas. Da mesma maneira,

5
Em suma, o que se requer é que o campo ÿ seja fechado sob as operações de +, ÿ, ×, ÷ e a
quinta operação de ÿ1 + ÿ2.
6
A perspectiva 'teórica dos modelos' aberta pelo trabalho de Hilbert sobre geometria, bem como
algumas limitações desta interpretação, foram analisadas em Demopoulos (1994).

7
Falar do axioma da completude como um axioma de segunda ordem é certamente anacrônico,
pois nessa época não havia uma distinção conceitual clara entre lógica de primeira e segunda
ordem.

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 145

também é comum que na literatura seja identificado como um axioma

"metamatemático", na medida em que predica relações entre os axiomas e seus
'Modelos'. No entanto, na minha opinião, esta leitura pode desviar a atenção do
seu verdadeiro conteúdo e função dentro do sistema de axiomas, pelo menos
como foi inicialmente pretendido por Hilbert. Então vamos analisar o conteúdo.
do axioma da completude.
Em primeiro lugar, o axioma estabelece a completude do sistema de
elementos geométricos; ou mais precisamente, fixa uma condição de maximalidade
sobre o conjunto de objetos regidos pelos axiomas I–V.1. A condição de
maximalidade é expressa pela afirmação de que não é possível
ampliar o espaço introduzindo novos elementos (pontos,
linhas, etc.) e ao mesmo tempo preservar a validade dos axiomas anteriores.
Hilbert esclarece ainda como a extensão do sistema e a
“preservação” dos axiomas: o axioma da completude exige que uma vez
que o sistema foi alargado através da introdução de novos
elementos ou objetos (pontos, linhas, etc.), as condições estabelecidas pelo
os axiomas devem ser válidos; isto é, as relações fixadas antes da extensão
– ordem, congruência, etc. – entre os vários elementos não deve ser violado
quando um novo elemento é introduzido no sistema de objetos geométricos.
Para ilustrar esta ideia por meio de um exemplo, um ponto feito anteriormente
extensão estava entre dois pontos, continua a estar entre eles
após extensão. O axioma da completude afirma que uma extensão
do sistema de objetos caracterizado pelos axiomas, como acaba de ser
descrito, não é possível (Hilbert 1903, p. 17).
Agora, a consequência de incorporar este axioma é
do que a única realização aritmética que satisfará os axiomas I-V.
1 e o axioma da completude é o corpo ordenado completo ou máximo de
números reais e, portanto, geometria analítica construída sobre o
numeros reais. Ou seja, é claro que uma geometria analítica construída sobre Q
u ÿ contradiz o axioma da completude: é sempre possível estender
essas geometrias adicionando novos pontos na linha (os pontos que representam
números irracionais ou números irracionais transcendentais, respectivamente) e
respeitar ao mesmo tempo as relações de ordem previamente estabelecidas por
os outros axiomas, o que contradiz o que é afirmado pelo axioma da completude.
Por exemplo, se A, B, C, D são quatro pontos na linha racional, e AB
é congruente a CD, então ambos os segmentos ainda são congruentes
mesmo quando adiciono novos pontos entre A e B.
Em suma, o axioma da completude postula de forma indireta a
continuidade de objetos geométricos, ou de acordo com sua versão linear, a
continuidade da linha.8 Ou seja, a continuidade linear é postulada em um

8
Na sétima edição de 1930, Hilbert apresenta uma nova versão do axioma da completude:

Axioma da Completude Linear: Uma extensão do sistema de pontos sobre um

de acordo com suas relações de ordem e congruência, o que preservaria as relações existentes

Teoria 76 (2013): 139-163

Machine Translated by Google

146 Eduardo N. GIOVANNINI

indiretos, pois, ao contrário dos outros princípios de continuidade, a existência

de novos pontos na linha não é afirmada diretamente. Pelo contrário, o axioma
da completude apenas afirma que o único sistema numérico que pode servir
como uma realização aritmética é o campo ordenado completo dos reais e,
portanto, a geometria analítica baseada nos números reais.
Por sua vez, esta é a função que Hilbert enfatiza constantemente do axioma da
completude. Por exemplo, na tradução francesa ele aponta que "este axioma
torna possível a correspondência biunívoca entre os pontos de uma linha e todos
os números reais" (Hilbert 1900a, p. 26).9 Pode-se então dizer que a questão da
"completude" surge originalmente no contexto de preencher a lacuna entre a
geometria cartesiana e o sistema de axiomas de Hilbert para a geometria
sintética. Ou seja, por meio do axioma da completude, Hilbert pretende mostrar
que não pode haver pontos nessa geometria cuja existência não possa ser
provada a partir de seu sistema de axiomas. Em, mas o fato de que essa
“paridade dedutiva” entre o sistema de axiomas de Hilbert e a geometria
cartesiana seja uma consequência imediata do axioma da completude não deve
nos fazer perder de vista que o que o axioma da completude afirma é a
continuidade do sistema de objetos, e não a propriedade de completude do
sistema axiomático. Se fosse esse o caso, então seria uma propriedade
metalógica do sistema de axiomas que deveria ser provada, e não simplesmente
postulada.

3. Vantagens do axioma da completude

Em virtude da relação que acabamos de apontar entre o axioma da completude

e as condições de continuidade, surge naturalmente uma série de questões.
A ausência do axioma da completude na primeira edição de Fundamentos da
Geometria tem como consequência que o sistema de axiomas para a geometria
sintética é incompleto em relação à geometria analítica baseada nos números
reais, na medida em que nenhuma correspondência biunívoca pode ser
estabelecido.-para-um entre os elementos de ambos os sistemas. Mas então
pode-se perguntar: além da decisão de Hilbert de não trabalhar com os números
reais como a única realização aritmética de seus axiomas para a geometria: que
outras razões poderiam tê-lo levado a deixar seu sistema de axiomas "incompleto"
no Festschrift? , rejeitando outras alternativas disponíveis para o axioma de com

entre os elementos originais, bem como as propriedades fundamentais de ordem linear

e consistência que seguem dos Axiomas I–III e Axioma V.1, é impossível. (Hilbert 1930,
p. 30)
A nova versão do axioma da completude exige apenas que não seja possível adicionar
novos pontos na linha e manter a validade dos axiomas que descrevem a ordem linear e a
consistência. Que eles também não possam ser somados, sem gerar contradições, novas
linhas e planos, é consequência da “completude linear”. A versão original do axioma da
completude é então provada como um "teorema da completude".
9
Ver também Hilbert (1903, p. 17).

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 147

plenitude? Ou dito de outra forma: Que características peculiares do axioma

de completude motivou Hilbert a incorporá-lo quase imediatamente ao grupo de axiomas
de continuidade, quando teria sido possível alcançar o
mesmos resultados, apelando para um dos outros postulados de continuidade?
Em relação a essas questões, Hilbert faz na edição francesa
(Hilbert 1900a) e na segunda edição alemã (Hilbert 1903), algumas observações que são
muito interessantes, mas de alguma forma passam despercebidas no
contexto de sua exposição em Fundamentos da geometria. Felizmente,
seus cursos de geometria proporcionam reflexões muito esclarecedoras.
A primeira observação aponta para a relação entre o axioma de Arquimedes
e o axioma da completude. No texto da segunda edição, Hilbert observa
que uma característica fundamental do axioma da completude é que ele permite
apresentar as condições de continuidade através de dois princípios ou axiomas
essencialmente diferente:

Através da abordagem anterior, o requisito de continuidade foi decomposto em duas

componentes essencialmente diferentes, a saber: no axioma de Arquimedes, que cumpre a
função de preparar o requisito de continuidade, e no
axioma da completude, que forma a pedra angular [Schlußstein] de todo o sistema
de axiomas. (Hilbert 1903, p. 17)

Uma vantagem crucial do axioma da completude é, aos olhos de Hilbert,

que nos permite introduzir o requisito de continuidade – ou mais precisamente,
O princípio da continuidade de Dedekind – por meio de dois axiomas essencialmente
diferentes, ou seja, logicamente independentes. que o axioma de
completude não é uma consequência do axioma de Arquimedes é imediatamente claro,
uma vez que existem realizações aritméticas (Q, ÿ), nas quais
O axioma de Arquimedes é válido, mas o axioma da completude não. Da mesma maneira,
a afirmação recíproca também é válida, embora sua prova ofereça maiores dificuldades.
De fato, este resultado não foi provado por Hilbert, mas
que as relações lógicas entre a propriedade de completude estabelecida por
seu axioma homônimo e o axioma de Arquimedes, foram esclarecidos um pouco
mais tarde, no notável trabalho de H. Hahn sobre sistemas de não-
Arquimediano.10 Em suma, na medida em que o axioma da completude
Axioma de Arquimedes não pode ser deduzido, é necessário concluir que ambos
axiomas são logicamente independentes, como Hilbert pretendia.
Por outro lado, a segunda observação de Hilbert está ligada a uma característica que
caracteriza sua abordagem axiomática da geometria, e que é muito
visíveis em suas anotações manuscritas para as aulas. Um objetivo central do projeto

10
Basicamente, Hahn mostrou como era possível generalizar a condição de completude imposta pelo
axioma de Hilbert, de modo que a validade do axioma não precisasse ser assumida.
Axioma de Arquimedes (Cf. Hahn 1907, §3). Para um levantamento introdutório do trabalho de
Hahn e suas consequências para a pesquisa de Hilbert, veja Ehrlich
(1995, 1997). Uma discussão do axioma (aritmético) pode ser encontrada em (Ehrlich 1997)
de completude e suas relações lógicas com outros princípios de continuidade, à luz de
desenvolvimentos matemáticos mais gerais.

Teoria 76 (2013): 139-163

Machine Translated by Google

148 Eduardo N. GIOVANNINI

Hilbertian consistiu em mostrar como sua nova apresentação axiomática da

geometria permitiu ver claramente que essa disciplina poderia ser construída ou
fundada de forma completamente autônoma ou independente, ou seja,
dispensando qualquer consideração ou conceito retirado da aritmética, da análise
e inclusive da mecânica. Especialmente, Hilbert estava muito interessado em
mostrar que não apenas muitos resultados fundamentais da geometria elementar
podem ser alcançados sem ter que apelar para os princípios de continuidade,
mas também que as próprias condições de continuidade podem ser expressas
de uma maneira "puramente geométrica", isto é, independentemente de noções
provenientes da aritmética e da análise. Nesse sentido, a seguinte passagem da
edição francesa é muito sugestiva:
Este axioma não nos diz nada sobre a existência de pontos limites, ou
sobre a noção de convergência; no entanto, permite-nos provar o teorema
de Bolzano segundo o qual, para todo [infinito] conjunto de pontos de uma
reta situada entre dois pontos definidos na mesma reta, há necessariamente
um ponto de acumulação, ou seja, um ponto limite. Do ponto de vista
teórico, o valor desse axioma é que ele leva indiretamente à introdução
de pontos limites e, portanto, permite estabelecer uma correspondência
biunívoca entre os pontos de um segmento e o sistema de numeração
real. . No entanto, no que se segue, não faremos uso desse axioma em
nenhum outro lugar. (Hilbert 1900a, p. 25-26)11 Hilbert atribui assim um
caráter “puramente geométrico” ao axioma da completude, ausente nos outros
postulados da continuidade. Esse recurso pode ser entendido da seguinte forma:
como todos os axiomas do sistema original de Festschrift, o axioma da completude
não usa sub-repticiamente conceitos de análise, como as noções de limite,
sequência, convergência, ponto de acumulação ou ponto limite, etc. No entanto,
embora este axioma não utilize conceitos de análise, a partir dele pode ser
demonstrada a existência de pontos limites para qualquer sequência limitada de pontos em um
Em suma, as virtudes do axioma da completude residem no fato de que: i)
permite decompor as condições de continuidade em dois princípios independentes;
ii) não introduz nenhuma noção estranha à geometria.

4. Alternativas ao axioma da completude

4.1. Continuidade de Dedekind e o teorema de Bolzano-Weierstrass As

duas observações anteriores indicam claramente que uma questão crucial para
compreender as características peculiares que Hilbert vislumbra no axioma da
completude (em sua versão geométrica), consiste em identificar suas diferenças
em relação a outros princípios. postular ou garantir a continuidade linear. De
particular interesse será o famoso teorema da

onze
Hilbert repete essa observação na segunda edição alemã Hilbert (Cf. 1903, p. 17),
acrescentando ainda que o axioma da completude também permite mostrar que
para cada corte de Dedekind há um elemento correspondente no sistema.

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 149

Bolzano-Weierstrass e o princípio da continuidade de Dedekind, mencionado

por Hilbert em várias ocasiões. Este último foi formulado por Dedekind em 1872, em sua obra
"Continuidade e números irracionais" (Dedekind
1872):
Princípio da Continuidade de Dedekind: Se todos os pontos da linha são divididos em duas
classes de tal forma que todos os pontos da primeira classe estão à esquerda
de cada ponto da segunda classe, então há um e apenas um ponto que produz
essa partição de todos os pontos em duas classes, esse corte da linha reta em duas partes.
(Dedekind 1872, p. 85)

O princípio de Dedekind, que postula diretamente a continuidade da

linha, é explicado em termos de sua construção dos números irracionais como
sanidades ou partições de números racionais. Este também é um princípio
de continuidade muito forte, pois por si só é suficiente para garantir a
coordenação completa dos pontos da reta com os números reais. Por
Por outro lado, tal princípio equivale ao axioma do supremo, pelo qual
É costume hoje formular a propriedade de completude dos números
real.12 Agora, assumindo o princípio da continuidade de Dedekind –
ou alternadamente, o axioma do supremo – é possível provar facilmente o
bem conhecido teorema de Bolzano-Weierstrass sobre a existência de pontos limites.
Em uma formulação atualizada, este teorema fica assim:
Teorema de Bolzano–Weierstrass: Todo conjunto limitado S contendo infinitos elementos
(como pontos ou números), tem pelo menos um ponto de acumulação ou ponto limite.13

É oportuno mencionar aqui esses dois princípios, na medida em que foram os

primeira alternativa considerada por Hilbert como axiomas de continuidade. Dentro
no semestre de inverno de 1893/1894, Hilbert anunciou, ainda em Königsberg,
um curso intitulado "Die Grundlagen der Geometrie" (Hilbert 1894). Este curso
constituiu sua primeira abordagem axiomática da geometria. como um problema
central, Hilbert pretende investigar ali a questão muito discutida nos últimos
terceiro do século XIX, de qual é o papel desempenhado pelas condições de continuidade na
geometria elementar.14 De fato, Hilbert considera neste curso dois

12
Axioma do Supremo: Todo conjunto não vazio e limitado superior de números reais
tem um supremo
13 Para uma discussão histórica do teorema de Bolzano-Weierstrass ver Ferreirós
(2007) e Moore (2000).
14
Essa controvérsia foi iniciada principalmente por uma série de artigos de Klein (1871,
1873, 1874), onde o autor advertiu que os métodos desenvolvidos por von Staudt
para introduzir coordenadas no plano e no espaço projetivo, elas tiveram que ser adicionadas
um axioma de continuidade (especificamente, o axioma de Cantor-Dedekind). Então o
A posição de Klein atraiu um grande número de apoiadores, embora, é claro, houvesse
exceções importantes. Um exemplo claro foi Pasch (1882), que também exerceu
uma influência proeminente nas investigações axiomáticas de Hilbert. Da mesma forma,
Toepell (1986) mostrou que essas discussões sobre o papel das condições
de continuidade na coordenação da geometria euclidiana e projetiva alimentada

Teoria 76 (2013): 139-163

Machine Translated by Google

150 Eduardo N. GIOVANNINI

objetivos que posteriormente serão centrais em seus trabalhos posteriores: por um

lado, investigar quais axiomas são responsáveis pela estrutura de um “corpo ordenado”
na linha; segundo, e relacionado ao anterior, determinar quais axiomas são necessários
para obter uma coordenada completa dos pontos de uma reta com os números reais
(Hilbert 1894). Em relação a este último objetivo, o caminho escolhido por Hilbert foi
usar um axioma de continuidade que postula a existência de um ponto limite, ou mais
precisamente o supremo, para um conjunto infinito e limitado de pontos na linha (Hilbert
1894, p 92). ); em outras palavras, um axioma praticamente equivalente ao teorema de
Bolzano-Weierstrass sobre a existência de pontos limites. Hilbert recorre a esse axioma
da continuidade em uma carta a F. Klein (Toepell 1986, p. 105), datada de 14 de agosto
de 1894, e posteriormente publicada no Mathematische Annalen (Hilbert 1895). O
axioma é o seguinte:

Axioma da continuidade: Se A1, A2, A3, é uma sucessão infinita de pontos em uma
linha reta a e B é outro ponto de a, de tal classe que em geral Ai está entre Ah e B,
desde que o índice h seja menor que i, então existe um ponto C com a seguinte
propriedade: todos os pontos da sequência infinita A2, A3, A4,... estão entre A1 e C, e
se C é outro ponto, para o qual isso também é verdade, então C está entre A1 e C.

Este axioma afirma diretamente a existência de um ponto limite para uma sequência
infinita e limitada de pontos em uma linha. Mais precisamente, por meio da última
condição (“Se C é outro ponto, para o qual isso também vale, então C está entre A1 e
C”), o ponto limite C é identificado com o supremo. É por isso que talvez possamos nos
referir a ele aqui como o “axioma da continuidade Bolzano-Dedekind”. Da mesma forma,
é importante destacar que através deste axioma, Hilbert impõe uma condição de
continuidade muito forte, a saber: o axioma da continuidade de Bolzano-Dedekind não
só garante a continuidade da linha por si só, mas também você pode obter como
consequência o axioma de Arquimedes.

Ora, Hilbert não se limitou a adotar essa alternativa em suas primeiras abordagens
axiomáticas, mas até recorreu a esse axioma da continuidade em seu curso semestral
de inverno de 1898/99, "Elemente der euklidischen Geometrie" (Hilbert 1898/1899a),
texto sobre o qual a primeira edição de Fundamentos da Geometria conta extensivamente
(Hilbert 1898/1899a, p. 377).
Hilbert também reconhece aí as coincidências de seu axioma com o princípio de
continuidade de Dedekind:
No modo de falar da teoria dos conjuntos, a proposição afirma a existência de um ponto limite
em um conjunto infinito de pontos. É desnecessário apontar aqui a analogia dessa proposição
com a teoria dos cortes de Dedekind. (Hilbert 1898/1899a, p. 378)

Na verdade, o axioma de Hilbert afirma não apenas a existência de um ponto

limite, mas também a existência do supremo; portanto é equivalente

O interesse de Hilbert pelos fundamentos da geometria é notório.

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 151

ao postulado da continuidade de Dedekind. Como consequência, se este último

axioma da continuidade está incluído no sistema de axiomas para geometria
elementar, obtemos um isomorfismo com o corpo dos números reais. Por
Ao contrário, se for assumido apenas o axioma de Arquimedes, a correspondência
biunívoca só será possível com um corpo ordenado de Arquimedes (Q,
ÿ, etc).
Então, como sabemos, no axioma de Arquimedes Festschrift aparece
como o único axioma da continuidade. Nas notas para as aulas citadas,
Hilbert não detalha os motivos que o levaram a não optar pelo
Axioma da continuidade de Bolzano–Dedekind, usado anteriormente por ele. Sem
No entanto, não é difícil encontrar uma explicação: o axioma da continuidade
usado por Hilbert em várias ocasiões – (Hilbert 1894, 1895, 1898/1899a)
– impõe uma condição de continuidade muito forte, na medida em que não apenas
A coordenação completa dos pontos de uma linha e os números reais não é
possível, mas além disso o axioma de Arquimedes pode ser deduzido.
Isto é, se junto com esse axioma da continuidade os axiomas I–
III, é então possível provar o axioma de Arquimedes como um teorema
(Henrique 1907, 37).
Esta consequência é, no entanto, altamente indesejável se levarmos em conta
conta de algumas das pesquisas e resultados mais importantes alcançados
por Hilbert em Fundamentos de geometria. Apenas para citar alguns dos
exemplos mais importantes: i.) a prova da independência do axioma de Arquimedes
e a construção para esse fim de geometrias não-arquimedianas
que por si só são interessantes15; ii.) as novas provas das teorias mais clássicas
de Desargues e Pascal, em que nenhuma condição é invocada
de continuidade, ou seja, ao axioma de Arquimedes; iii.) a elaboração de diferentes
álgebras de segmentos baseadas nesses teoremas fundamentais, isto é, com
independência dos axiomas da continuidade16; iv.) a demonstração do romance
dos teoremas de Legendre17; v.) a prova do teorema clássico de que
afirma que os ângulos da base de um triângulo isósceles são iguais
que Hilbert usa apenas uma versão mais fraca do axioma de congruência de
triângulos.18 Todos esses resultados, considerados por Hilbert como novas
contribuições que mostraram o poder de seu método axiomático para alcançar
conhecimento novo e original, exigia que o axioma de Arquimedes fosse
apresentado como um axioma separado e independente. Consequentemente, uma
axioma da continuidade como o de Bolzano-Dedekind foi inteiramente
inadequada no contexto das investigações axiomáticas realizadas

Veja Hilbert (1899, §12). Sobre a importância de Hilbert – e seus discípulos – no

quinze

desenvolvimento de sistemas geométricos e aritméticos não-arquimedianos, ver Cerroni (2007) e

Erlich (2006).
16
Ver Hilbert (1899, §14 e cap. V).
17
Ver (Hilbert 1898/1899a, pp. 340-343) e (Hilbert 1902b, pp. 566-568).
18
Veja Hilbert (1902b, pp. 551-556). Esses dois últimos pontos são examinados em Hallett
(2008).

Teoria 76 (2013): 139-163

Machine Translated by Google

152 Eduardo N. GIOVANNINI

por Hilbert.
Em suma, do que precede segue que o objetivo do axioma (geométrico)
de completude era assegurar a coordenação completa do sistema de axiomas
da geometria elementar com o corpo dos reais, sem apelar a um
postulado de continuidade tão forte quanto o axioma da continuidade de Bolzano–
Dedekind. Em outras palavras, o axioma da completude, como complemento
do axioma de Arquimedes, permitiu obter os mesmos efeitos que aquele
axioma de continuidade mais forte, sem interferir nas investigações que Hilbert
considerava mais fundamentais em seu livro. Mas depois
avançar uma conclusão, façamos uma breve referência à outra alternativa
disponível para o axioma da completude.

4.2. Axioma de Cantor de intervalos embutidos

As referências de Hilbert ao princípio conhecido como axioma de Cantor da
intervalos embutidos são muito menos precisos, em comparação com as alusões
ao já mencionado postulado de continuidade de Bolzano-Dedekind. Mais ainda,
Tanto quanto sei, neste período inicial está restrito a
a seguinte observação:
Em virtude do axioma de Arquimedes, podemos agora alcançar a introdução do
número em geometria (. . . ). Desta forma, cada ponto P na linha corresponde a
um número real totalmente determinado. Mas isso também na verdade para cada
número corresponderá a um ponto na linha, não segue de nossos axiomas.
Isso pode ser alcançado através da introdução de pontos irracionais – ideais.
(Axioma de Cantor) (Hilbert 1898/1899a, p. 390-91).

Hallett apontou que nesta passagem Hilbert se refere a um axioma formulado

por Cantor em seu famoso artigo de 1872 sobre séries trigonométricas.
(Cantor 1872) (Hallett e Majer 2004, p. 428). Esse princípio geométrico, chamado
'axioma' do próprio Cantor, afirma que em cada magnitude numérica (ou seja, em
19 Por ele
cada número real) corresponde a um dado ponto da reta.
Em contraste, o princípio agora conhecido como postulado geométrico de Cantor
dos intervalos embutidos é um axioma diferente.

19
Cantor (1874, p. 128). Na verdade, esse 'axioma' era conhecido na Alemanha como
Axioma de Cantor-Dedekind. Por exemplo, é possível já encontrar esta designação em
um artigo de F. Klein (1874, p. 347), que, como sabemos, mantinha uma estreita relação
com Hilbert. Agradeço a um revisor do Theoria por esta observação.
vinte
Cantor usou o princípio dos intervalos embutidos, ainda que implicitamente, em seu conhecido
artigo de 1874, onde ele prova pela primeira vez que o conjunto dos números reais
é incontável, baseado em um argumento diferente da diagonalização de Cantor
(cf. 1874). No entanto, Cantor também reconhece que esse axioma não foi usado apenas
anteriormente por Bolzano e Weierstrass, mas também sua 'essência' pode ser traçada
aos trabalhos sobre teoria dos números de Lagrange, Legendre, Cauchy e Dirichlet
Singer (cf. 1879/84, p. 212). É por isso que o axioma dos intervalos embutidos também
chama-se princípio de Bolzano–Weierstrass (Cf. Ferreirós 2007, p. 139–141).

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 153

formulação de Enriques (1907), usualmente citado em obras geométricas

da época, este axioma diz o seguinte:
Se em um segmento linear OM existem duas sequências infinitas de segmentos OA, OB,
OB quais
OC,..., OA OC, dos , ,...,
o primeiro aumenta e o segundo diminui de
, BB , constantemente
para que os segmentos AA , ... diminuam DC e finalmente
são menores do que qualquer segmento [jede gegebene Strecke unterschreiten],
então no segmento OM existe um ponto X tal que OX é maior que todos
segmentos da primeira sequência e menores que todos os segmentos da segunda.
(Henrique 1907, p. 36)

Deve-se reconhecer que, em virtude da passagem citada acima, é impossível

afirmar conclusivamente que Hilbert se refere em suas notas ao postulado
A geometria de intervalos embutidos de Cantor. No entanto, dada a sua importância
em discussões posteriores do axioma da completude em seu
versão geométrica, considero pertinente fazer aqui uma breve menção.
Em primeiro lugar, deve-se notar que, ao contrário do princípio de continuidade de
Bolzano-Dedekind, o axioma de intervalos embutidos não pode
O axioma de Arquimedes pode ser deduzido como consequência Baldus (1928a,
1930). Isto é, somente se assumirmos conjuntamente o axioma de Cantor e o
O axioma de Arquimedes pode garantir a continuidade da linha. Este axioma não sofre
da desvantagem que Hilbert encontra no princípio
da continuidade de Dedekind. Além disso, o axioma de Cantor e o axioma da
completude são logicamente equivalentes (Efimov 1984, pp. 197-201)., então
que o primeiro cumpre a condição exigida por Hilbert, que a continuidade se apresenta
por meio de dois princípios independentes. Além disso, o
axioma de intervalos embutidos tem a vantagem, como aponta Bernays, de
que sua estrutura não é "logicamente complexa" como a do primeiro, e para expressar
diretamente – e não secretamente – uma condição de continuidade
(Bernays 1935, pp. 197-198). Por outro lado, à primeira vista, um inconveniente seria
que, aos olhos de Hilbert, esse axioma não pudesse ser considerado
como 'puramente geométrico', pois aí o conceito de sucessão é essencial.21

vinte e um

Uma análise interessante do axioma de Cantor, no contexto da geometria elementar, é

encontrado em (Baldus 1928b, 1930) e (Schmidt 1931). Mais precisamente, esses autores
analisar diferentes formulações do axioma. Resumidamente, para a versão que citamos
Enriques (1907), que impõe a condição de que o comprimento dos segmentos AA BB ,
, CC , ... aproxima-se de zero, eles chamam de axioma de Cantor métrico. Ao contrário, se
abandonar este requisito, então chegamos a uma versão mais geral do axioma,
que afirma que há um ponto no interior de todos os segmentos de renda, não
apenas naqueles cujo comprimento tende a zero. Esta versão é chamada de axioma de Cantor.
topológico. No entanto, ambos os autores provam que em toda a geometria arquimediana é
possível evitar a condição presente no axioma métrico, uma vez que ambas as versões do
O axioma de Cantor é equivalente se o axioma de Arquimedes for previamente assumido.
Hertz (1934) mostra ainda que o axioma topológico de Cantor também não segue
Axioma de Arquimedes como consequência.
Finalmente, pode-se argumentar que os pressupostos de Hilbert não parecem ser de sua autoria.

Teoria 76 (2013): 139-163

Machine Translated by Google

154 Eduardo N. GIOVANNINI

Então podemos ver claramente como o axioma da completude constituiu

para Hilbert a opção mais adequada para a formulação das condições de
continuidade, uma vez que em sua opinião nenhuma das alternativas disponíveis
satisfez os critérios estabelecidos por ele para este grupo de axiomas.

5. Categoria e o axioma da completude

Uma última questão que gostaria de abordar é a relação entre o axioma da completude
– em sua versão geométrica – e a noção de categoria. como haverá
notado, há uma forte conexão entre o axioma da completude e o
categorização do sistema axiomático. De fato, no sistema de axiomas para
números reais, a função do axioma da completude é garantir que qualquer realização
ou 'modelo' possível dos axiomas seja isomórfico com o sistema
dos números reais. Mais precisamente, enquanto os primeiros dezessete
axiomas de (Hilbert 1900b) definem um campo de Arquimedes ordenado (Q, ÿ,
R), quando o axioma da completude é introduzido, o sistema de axiomas caracteriza
um campo arquimediano ordenado máximo ou completo, ou seja,
o sistema dos números reais. Assim, Hilbert afirma explicitamente que o
consequência da introdução do axioma da completude no sistema de
axiomas para números reais é 'categoricidade': “Em primeiro lugar, gostaria agora de
tornar plausível que o sistema de coisas definido através dos 18
axiomas é idêntico ao sistema de todos os números reais” (Hilbert 1905a,
pág. 18).
Da mesma forma, a categoria também é resultado da introdução do axioma da
completude no sistema de axiomas da geometria.
euclidiano Hilbert reconhece visivelmente essa consequência, conforme relata com
eloquência na seguinte passagem:
Como pode ser visto, há um número infinito de geometrias que satisfazem os axiomas
I-IV, V,1. No entanto, existe apenas uma, a geometria cartesiana, na qual o
o axioma da completude também é válido ao mesmo tempo. (Hilbert 1903, p. 20)22

suficiente para considerar o postulado do intervalo embutido como estranho à geometria,

já que seria possível até mesmo formular esse axioma evitando a ideia de sucessão.
22
É importante esclarecer que, embora o termo "categoricidade" seja encontrado para a primeira
Uma vez em Veblen (1904), nesse período inicial Hilbert já tinha uma concepção relativamente
precisa das noções de categoria e isomorfismo. evidência para
pode ser encontrada na seguinte passagem das notas para o curso “Zahlbe griff und Quadratur
des Kreises” Hilbert (1897): “Os axiomas definem inequivocamente
[eindeutig] um sistema de objetos, ou seja, se você tiver outro sistema de objetos que satisfaça
todos os axiomas acima, então os objetos do primeiro sistema são correlacionáveis um a um
[umkehbar eindeutig abbildbar] com os objetos do segundo sistema.
Hilbert (1897, p. 42). Hilbert também apresenta caracterizações ainda mais precisas
em Hilbert (1905a, p.21) e Hilbert (1905b, pp. 17-18). No entanto, devemos reconhecer
que uma definição formal das noções de categoria e isomorfismo só poderia ser
alcançado por Hilbert em um período muito posterior, enquanto uma distinção clara

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 155

Ora, embora a categoria seja uma consequência da

inclusão do axioma da completude, tanto no sistema de axiomas para
real quanto à geometria, existem diferenças importantes entre
ambos os sistemas que considero oportuno destacar. Em particular, uma diferença
significativa foi notada por Baldus (1928a), em um artigo que influenciou
algumas modificações introduzidas na sétima edição de Fundamentos de
geometria (Hilbert 1930). Basicamente a observação é a seguinte. Sim de
O sistema de axiomas de Hilbert o axioma das paralelas é eliminado, então
obtém um sistema axiomático para geometria absoluta, ou seja, geometria sem
paralelismo, que é a estrutura comum compartilhada por geometrias euclidianas
e não euclidiana. Além disso, a partir dos axiomas que agora caracterizam o
geometria absoluta, é possível inserir coordenadas na linha de modo
habitual. Então, se por outro lado o axioma da completude é substituído por
Segundo o axioma de Cantor23, uma correspondência biunívoca pode ser alcançada entre o
pontos da reta e os números reais. O sistema axiomático que define o
a geometria absoluta é então completa no sentido do axioma da completude, ou seja, não
pode ser estendida pela adição de novos elementos (pontos) à
sistema de objetos. No entanto, é claro que este sistema de axiomas tem
múltiplas realizações ou 'modelos' (geometria euclidiana, geometria hiperbólica, etc.) não
isomórficos entre si. Em conclusão, é possível ter um sistema
de axiomas que é completo no sentido do axioma da completude, mas não
categórico. Em outras palavras, para um sistema axiomático ser 'completo' no
sentido do axioma da completude, não implica que suas realizações devam ser
necessariamente todos isomórficos entre si.
Então, uma consequência importante segue do resultado anterior. Ao contrário do que
sugere o modo de proceder de Hilbert em relação à
ao axioma da completude, a estratégia seguida no sistema de axiomas para
os reais não podem ser aplicados sem mais delongas ao sistema de axiomas para
geometria. Neste último caso, o axioma da completude não precisa ser a "pedra
ângulo” [Schlußstein] do sistema. Ou seja, no contexto do sistema de axiomas para números
reais, os primeiros dezessete axiomas definem um corpo
Arrumado de Arquimedes. A função do axioma da completude é identificar

A relação conceitual entre sintaxe e semântica é encontrada apenas em Hilbert (1917); sobre
esta questão ver Zach (1999). Por outro lado, vale ressaltar que anteriormente
a categorização do sistema axiomático para os números naturais foi um tema central em
Dedekind (1888). De fato, Dedekind prova lá em detalhes que dois modelos
qualquer um de seus 'axiomas' é isomórfico (Cf. Dedekind 1888, Teoremas 132, 133).
Sobre Dedekind ver Ferreirós (2007, 2009). Uma análise histórica das noções de
completude e categorização podem ser vistas em Awodey e Reck (2002).
23
Essa substituição é necessária uma vez que, em sua versão original, o axioma da completude
assume a validade do axioma das paralelas. Se, por outro lado, o axioma da
completude linear, tal requisito pode ser dispensado. Essa foi justamente uma das principais
contribuições da obra de Baldus: mostrar que o axioma da
completude essencialmente não tem relação com o axioma dos paralelos
(Cf. Baldus 1928a).

Teoria 76 (2013): 139-163

Machine Translated by Google

156 Eduardo N. GIOVANNINI

exclusivamente ao campo dos números reais, entre as várias realizações

possíveis que podem satisfazer esses primeiros dezessete axiomas. E isso para
meio de uma condição de maximalidade que afirma que a única realização
possível de todos os axiomas é um corpo ordenado de Arquimedes completo
ou máxima.24 Em outras palavras, somente por meio do axioma da completude
o sistema de axiomas torna-se categórico. Ao contrário, no caso de
sistema de axiomas para a geometria elementar, este é antes o verdadeiro
significado do axioma das paralelas. Ou seja, enquanto os axiomas
dos grupos I-III e V (ligação, ordem, congruência, continuidade) caracterizam
geometria absoluta – possuindo como no caso dos primeiros dezessete
axiomas para a aritmética de reais várias realizações não isomórficas
entre si, o axioma das paralelas nos permite caracterizar categoricamente
–, geometria euclidiana. Em suma, embora no sistema de axiomas de Hilbert
a função atribuída ao axioma da completude é garantir a categorização do
sistema, não é, no entanto, a função que este axioma deve desempenhar
necessariamente.25 Em vez disso, colocar o axioma da completude como o último
axioma do sistema de axiomas, de alguma forma esconde sua verdadeira função
no sistema de axiomas.

6. Considerações finais

No início deste artigo, assinalei que uma análise do contexto que

envolve a inclusão do axioma da completude no sistema de axiomas para o
geometria, pode lançar luz sobre o papel desempenhado por Hilbert por
a propriedade metalógica de “completude”, neste estágio inicial e no
contexto de suas investigações geométricas. Gostaria então de concluir com
algumas observações a respeito.

24
Essa forma de entender a função do axioma da completude nos permite obter uma simplificação
muito importante em sua formulação. Ver, por exemplo, Bernays (1955). Por
por outro lado, nesta mesma linha e enfatizando a influência de Dedekind sobre Hilbert na
período inicial, Ferreirós apresenta uma interessante formalização do axioma da
completude em que é usada uma linguagem lógica que inclui a teoria dos conjuntos, e que
nesse sentido está mais próxima do contexto histórico de Dedekind e Hilbert
(Cf. Ferreirós 2009, p. 48).
25
Talvez se deva acrescentar que, para além deste papel determinante desempenhado pelo axioma
das paralelas para alcançar a natureza categórica do sistema axiomático de Hilbert
para a geometria euclidiana, o axioma da completude também desempenha um papel importante.
De fato, o axioma da completude é o único axioma do sistema que requer
de uma linguagem de segunda ordem a ser formalizada. Então independente de
que lugar ele ocupa dentro do sistema de axiomas, o axioma da completude
torna a categoricidade possível, pois se o sistema de Hilbert fosse inteiramente
formalizável em uma linguagem de primeira ordem, então pelo teorema de Löwenheim–
Skolem (1915/1919) segue-se que não poderia ser categórico. Hilbert obviamente não podia
conhecer esses resultados em um estágio inicial, embora fosse interessante investigar o que era,
se existiu, sua reação em um período posterior.

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 157

Vimos que Hilbert afirma em numerosas ocasiões, nas diferentes

edições de Fundamentos de Geometria, que o objetivo fundamental do
axioma da completude é tornar possível a correspondência biunívoca entre
os pontos da reta e os números reais. Nesse sentido, o axioma da completude foi
especificamente incorporado por Hilbert para garantir que o
A geometria analítica "cartesiana" torna-se a única realização (exceto isomorfismo)
de seus axiomas para a geometria sintética. No entanto, é necessário
reconhecer que esta não é a única função que este axioma cumpre no sistema
Axiomática Hilbertiana. Pelo contrário, o axioma da completude é essencial para
que o sistema de Hilbert capture totalmente o domínio
da geometria euclidiana; e este é, de facto, um dos objectivos centrais que
Hilbert levanta manifestamente na introdução de Fundamentos da
geometria (Hilbert 1899, p. 1).
Resumidamente, o problema se reduz ao seguinte: a propriedade de intersecção
de dois círculos26, a partir da qual se pode provar que círculos e
linhas se cruzam quando deveriam, não pode ser garantido com base na
sistema de axiomas original do Festschrift. No entanto, esta propriedade é essencial.
realizar muitas das construções de segmentos, ângulos e figuras usando as técnicas
descritas por Euclides nos Elementos. Por exemplo,
o teorema que afirma que um triângulo pode ser construído a partir de três
segmentos dados tais que a soma de quaisquer dois de seus lados é sempre
maior que o comprimento da terceira. Este teorema é provado por Euclides em
proposição I, 22; no entanto, a propriedade é usada explicitamente lá
de intersecção de duas circunferências, com o qual este problema não pode ser
resolvido no sistema axiomático original de (Hilbert 1899).27
O mesmo problema pode ser ilustrado olhando para os equivalentes algébricos
das construções geométricas que podem ser feitas com base no sistema de
axiomas, um tópico investigado em detalhes por Hilbert, e onde ele também fez
importantes contribuições. Atualmente é comum afirmar que para garantir
que todas as construções de Euclides com régua e compasso podem
para ser realizado, o campo abstrato (numérico) construído diretamente dos axiomas
da geometria deve satisfazer a propriedade de um "campo
Euclidiana” (Hartshorne 2000, p. 146):
Definição 1. Um corpo K é chamado euclidiano se for ordenado e se, para todo
elemento a ÿ K, com a > 0, a raiz quadrada ÿa existe em K.
Agora, o corpo ÿ de números algébricos, que Hilbert constrói em
1899 para fornecer uma realização aritmética de seus axiomas, não é uma

26
Dados dois círculos ÿ, ÿ, se ÿ contém pelo menos um ponto dentro de ÿ, e ÿ
contém pelo menos um ponto fora de ÿ, então ÿ e ÿ se encontram (exatamente em
dois pontos).
27
Uma crítica semelhante é que, se a propriedade de intersecção de dois círculos, e
conseqüentemente de interseção de linhas e círculos, não é pressuposta, então não há
é possível provar que “o círculo é uma figura fechada”. Hilbert reconhece esse problema
em Hilbert (1898/1899a, p. 337).

Teoria 76 (2013): 139-163

Machine Translated by Google

158 Eduardo N. GIOVANNINI

corpo euclidiano, mas um corpo "pitagórico"; mais precisamente, um corpo mínimo pitagórico.
Então, o campo abstrato ÿ é um subcampo próprio do
corpo euclidiano; e isso significa que todas as construções de régua e compasso que
caracterizam a geometria euclidiana elementar não podem ser
baseado no sistema de axiomas original de Hilbert. Dentro
Em outras palavras, o sistema de axiomas não é completo em relação ao domínio de
Geometria euclidiana elementar. O sistema de axiomas original não se sustenta assim
com o critério de completude definido por Hilbert neste período inicial,
sob o qual o sistema de axiomas deve ser construído de tal forma que
é possível obter de seus axiomas, dedutivamente como consequências, todas aquelas
proposições que esperamos encontrar no domínio da
geometria euclidiana. 28
É então muito significativo observar que Hilbert estava plenamente ciente dessas
dificuldades no momento de escrever o Festschrift, e mesmo
um pouco antes. Prova disso é o capítulo VII da primeira edição de Fundamentos, onde analisa
quais construções geométricas são viáveis em
seu sistema de axiomas. Em particular, Hilbert reconhece aí, embora apenas implicitamente e
de forma bastante abstrata, que seu sistema de axiomas não
pode garantir a propriedade de intersecção de duas circunferências; quer dizer,
a existência dos pontos de intersecção entre duas circunferências que, como
dissemos, é essencial poder realizar muitas das mais
elementais da geometria euclidiana plana.
Neste capítulo, e com mais detalhes em suas notas (Hilbert 1898/1899b,
pág. 257–261) e (Hilbert 1898/1899a, pp. 337–340), Hilbert reconhece pela primeira vez
lugar que todas as construções que podem ser feitas com base em
Os axiomas I–V da primeira edição de Fundamentos de Geometria são
construções usando apenas uma régua e um "transferidor de segmento"
[Streckenübertrage]. Este último instrumento é usado para medir segmentos e, segundo Hilbert,
corresponde a um “uso restrito do compasso” (Hilbert
1899, pág. 80). Em segundo lugar, ele percebe que o equivalente algébrico do
construções com régua e “transferidor de segmentos” é um corpo pitagórico. Ou seja, Hilbert
esclarece que as construções permitidas por seu sistema
de axiomas (originais) pode ser realizado em uma geometria analítica
cujas coordenadas formam um campo pitagórico (mínimo). Terceiro, em
as notas das aulas correspondentes ao curso que antecede imediatamente a
Festschrift, Hilbert constrói um campo numérico que lhe permite provar
que nem todo campo pitagórico é necessariamente um campo euclidiano – disse
em termos algébricos modernos –; isto é, que o corpo pitagórico é um
campo sub-próprio do campo euclidiano (Hilbert 1898/1899b, pp. 337-338). S
Finalmente, Hilbert reconhece que a condição algébrica correspondente ao

28
Hilbert oferece esta caracterização da propriedade de completude de um sistema de
axiomas em: Hilbert (1894, pp. 71-72), Hilbert (1899, p. 1), Hilbert (1900b, p. 181) e Hilbert
(1905a, p. 12). Essa noção (informal) de completude relativa já foi notada em
a literatura, entre outros, por Awodey e Reck (2002) e Corry (2004).

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 159

bússolas é que todo número (positivo) no campo de coordenadas possui uma

raiz quadrada, ou seja, que o corpo seja euclidiano. Com base nesses resultados,
Hilbert conclui que nem todas as construções de compasso e régua são
justificadas com base em seu sistema de axiomas.
E esta conclusão é explicitamente declarada no Teorema 41 do Festschrift (Hilbert
1899, p. 81).
Ora, uma forma usual de garantir a existência de pontos de intersecção entre
duas circunferências e, portanto, entre uma recta e uma circunferência, é através
de um princípio de continuidade como o de Dedekind; e essa foi, de fato, uma
das primeiras críticas que o livro de Hilbert recebeu.29 Nesse sentido, o axioma
da continuidade de Bolzano-Dedekind, usado por Hilbert até pouco antes da
publicação do Festchrift, teria permitido remediar essa dificuldade. No entanto,
essa estratégia fez com que o axioma de Arquimedes não pudesse ser
apresentado como um princípio separado e independente, uma consequência
absolutamente não intencional no contexto das investigações axiomáticas das
Fundações.
Diante desse dilema, causado fundamentalmente pela falta de uma alternativa
funcional como princípio de continuidade, a opção escolhida por Hilbert foi então
"sacrificar" a completude de seu sistema de axiomas, antes de ver aquelas
investigações que considerava suas mais importantes contribuições à ciência
impediu esta disciplina matemática. E, na minha opinião, essa atitude revela
claramente uma característica central de sua concepção do método axiomático,
a saber: o método axiomático não deve ser entendido apenas como uma
ferramenta eficaz para alcançar uma apresentação mais rigorosa e logicamente
perspicaz de uma teoria matemática – uma traço que Hilbert nunca se cansou de
enfatizar, mas também, e não
–, para menosnovas
alcançar importante, como um
descobertas poderoso instrumento
matemáticas.

Por fim, é preciso destacar que, justamente nesse aspecto fundamental que,
segundo Hilbert, explicava a inclusão do axioma da completude em seu sistema
de axiomas para a geometria – ou seja, a independência do axioma de Arquimedes
–, encontra-se um medida
notável
emdificuldade
que o axioma
do ponto
da completude
de vista axiomatico,
se refere aaoutros
saber: na
axiomas e pressupõe sua validade, não é possível provar a independência de
nenhum dos axiomas explicitamente mencionados. Em outras palavras, a peculiar
forma “metalinguística” do axioma da completude impede mostrar que o axioma
de Arquimedes não decorre dele como consequência.30 Essa dificuldade
intrínseca com o axioma da completude foi assim apontada para Hilbert por

29
Ver Sommer (1900, p. 291). Como para garantir a propriedade de intersecção de dois
círculos basta que o campo de coordenadas seja euclidiano, a continuidade completa
do espaço não é indispensável, mas basta acrescentar ao sistema axiomático um
axioma que postule precisamente essa propriedade. Essa via é apresentada, por
exemplo, por Hartshorne (2000). Hallett (2008, p. 247) aponta, entretanto, que adicionar
a propriedade de interseção de dois círculos como um axioma para garantir a
'propriedade euclidiana' pareceria ser uma solução ad hoc.
30
O primeiro a observar essa dificuldade foi Hahn (1907, §3).

Teoria 76 (2013): 139-163

Machine Translated by Google

160 Eduardo N. GIOVANNINI

Baldus (1928a).31
Diante dessas críticas, Hilbert optou por não comentar e manter o axioma da completude
dentro de seu sistema de axiomas para a geometria euclidiana elementar. Talvez esta seja uma
indicação clara de que, assim como foi recebido mais tarde, Hilbert vislumbrou no axioma da
completude uma de suas contribuições mais originais para a axiomática moderna.

REFERÊNCIAS

Awodey, Steve e Reck, Erich. 2002. Completude e categorização. Parte I: Axiomática do século
XIX à metalógica do século XX. História e Filosofia da Lógica 23: 1–30.

Baldus, Ricardo. 1928a. Zur Axiomatik der Geometrie I. Über das archimedische und das
cantorsche Axiom. Mathematische Annalen 100: 321-333.
Baldus, Ricardo. 1928b. Zur Axiomatik der Geometrie II. Vereinfachungen des archime dischen
und cantoreschen Axioms. Atti del Congresso Internazionale die Mathematici, Bolonha 3–10
de setembro de 1928 4: 271–275.
Baldus, Ricardo. 1930. Zur Axiomatik der Geometrie III. Über das archimedische und das
cantorsche Axiom. Sitzungsberichte der Heidelberger Akademie der Wissenschaften,
Mathematisch-naturwissenschaftliche Klasse 5: 3–12.
Bernays, Paulo. 1935. Hilberts Untersuchungen über die Grundlagen der Arithmetik. em davi
Hilbert gesammelte Abhandlungen, volume 3, 196-216. Berlim: Springer.
Bernays, Paulo. 1955. Betrachtungen über das Vollständigkeitsaxiom und verwandte Axiome.
Mathematische Zeitschrift 63: 219-229.
Bonifácio, Jaqueline. 2002. Les constructions des nombre réels dans le mouvement
d'arithmetisation de l'analyse. Paris: Elipses.
Cantor, Jorge. 1872. Über die Ausdehnung eines Satzes aus der Theorie der trigonometrs
Chen Reihe. Mathematische Annalen 5: 123-132.
Cantor, Jorge. 1872. Über eine Eingeschaft des Inbegriffes aller reellen algebraischen Zahlen.
Jahresbericht der Deutschen Mathematiker–Vereinigung 77: 258–262.
Cantor, Jorge. 1879/84. Über unedliche, lineare Punktmannigfaltigkeiten. Em Gesammelte
Abhandlungen, ed. E. Zermelo, 1932. 139-244. Berlim: Springer.
Cerroni, Cinzia. 2007. A contribuição de Hilbert e Dehn para geometrias não-arquimedianas e
seu impacto na escola italiana. Revue d'histoire des mathématiques 13: 259-299.

Cory, Leão. 2004. David Hilbert e a axiomatização da física (1898-1918): De Grund

lagen der Geometrie para Grundlagen der Physik. Dordrecht: Kluwer.
Dedekind, Ricardo. 1872. Stetigkeit und irracionale Zahlen. Em Gesammelte mathematische

31
Um pouco mais tarde, Paul Bernays - um colaborador ativo de Hilbert da sexta edição (1923)
de Fundações - veio a sustentar que, dada essa "complexidade lógica" do axioma da
completude, o axioma de intervalos embutidos de Cantor era preferível ao de Bernays ( Cf.
1935, p. 198). Apresentações axiomáticas mais contemporâneas da geometria elementar,
que afirmam seguir o sistema de Hilbert em espírito, usam o axioma de Cantor em vez do
axioma da completude. Ver Efimov (1984) e Guerrerro (2006).

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 161

Werke, volume 3, 1932. Braunschweig: Friedrich Vieweg und Sonn. Tradução para o espanhol de
José Ferreirós, Madrid, Alianza, 1998.
Dedekind, Ricardo. 1888. Was sind und was sollen die Zahlen?. Em Gesammelte mathema tische
Werke, volume 3, 1932. Braunschweig: Friedrich Vieweg und Sonn. Tradução para o espanhol de
José Ferreirós, Madrid, Alianza, 1998.
Demopoulos, William. 1994. Frege, Hilbert e a Estrutura Conceitual da Teoria do Modelo.
História e Filosofia da Lógica 15: 211-225.
Efimov, Nikolai. 1984. Geometria Superior. Moscou: Editora Mir.
Ehrlich, Philip. 1995. 'Über die Nichtarchimedischen Grössensysteme' de Hahn e o desenvolvimento
da teoria moderna de grandezas e números para medi-los. Em From Dedekind to Gödel: Essays
on the Development of the Foundations of Mathematics, ed. J.
Hintikka, 165-214. Dordrecht: Kluwer.
Ehrlich, Philip. 1997. Da completude à completude de Arquimedes. Síntese 110: 57–
76.
Ehrlich, Philip. 2006. A ascensão da matemática não-arquimediana e as raízes de uma concepção
errônea I: O surgimento de sistemas de magnitudes não-arquimedianos. Arquivo para História das
Ciências Exatas 60: 1–121.
Henrique, Frederico. 1907. Prinzipien der Geometrie. In Enzyklopäadie der mathematischen
Wissenschaften, eds. W. Meyer e H. Mohrmann, volume 3.1.1, 6-126. Leipzig: Teubner.
Ferreiros, José. 2007. Labirinto do Pensamento. Uma História da Teoria dos Conjuntos e seu Papel na Modernidade
Matemática. Segunda edição Berlim: Birhäuser.
Ferreiros, José. 2009. Hilbert, logicismo e existência matemática. Síntese 170: 33-70.
Guerreiro, Ana Berenice. 2006. Geometria. desenvolvimento axiomático. Bogotá: Edições ECOE.
Han, Han. 1907. Uber die nichtarchimedischen Grössensysteme. Sitzungsberichte der Kaiserlichen
Akademie der Wissenschaften, Mathematisch-naturwissenschaftliche Klas se 116: 601-655.

Hallet, Michael. 2008. Reflexões sobre a pureza do método em Grundlagen der Geometrie de Hilbert.
Em A Filosofia da Prática Matemática, ed. P. Mancosu, 198-255. Nova York: Oxford University
Press.
Hallett, Michael e Majer, Ulrich, eds. 2004. Palestras de David Hilbert sobre os Fundamentos da
Geometria, 1891-1902. Berlim: Springer.
Hartshorne, Robin. 2000. Geometria: Euclides e Além. Nova York: Springer.
Hertz, Paulo. 1934. Sur les axiomes d'Archimède et de Cantor. Archives des sciences physiques
et naturelles 16: 179-181.
Hillbert, David. 1894. Die Grundlagen der Geometrie (Sra. Vorlesung, WS 1893/94). em ha
Illett e Majer 2004.
Hillbert, David. 1895. Über die gerade Linie als kürzeste Verbindung zweier Punkte. Aus einem an
Herrn F. Klein gerichteten Briefe. Mathematische Annalen 46: 91-96.
Hillbert, David. 1897. Zahlbegriff und Quadratur des Kreises. Sra. Vorlesung WS 1897/8.
Staats-und Universitätsbibliothek Göttingen. Cod. Sra. D. Hilbert 549.
Hillbert, David. 1898/1899a. Elemente der euklidischen Geometrie. Em Hallett e Majer 2004.
Hillbert, David. 1898/1899b. Grundlagen der Euklidischen Geometrie (Sra. Vorlesung, WS 1898/1899).
Em Hallett e Majer 2004.
Hillbert, David. 1899. Grundlagen der Geometrie. Festschrift zur Feier der Enthüllung des
Gauss-Weber Denkmals em Göttingen. Em Hallett e Majer 2004.
Hillbert, David. 1900a. Les principes fondamentaux de la géometrie. Comércio L. Laugel. Paris:
Gauthier-Villars.

Teoria 76 (2013): 139-163

Machine Translated by Google

162 Eduardo N. GIOVANNINI

Hillbert, David. 1900b. Uber de Zahlbegriff. Jahresbericht der Deutschen Mathematiker

Vereinigung 8: 180-184.
Hillbert, David. 1902a. Os Fundamentos da Geometria. Comércio EJ Townsend. Illinois: O
Editora Open Court.
Hillbert, David. 1902b. Grundlagen der Geometrie (Sra. Vorlesung, SS 1902). Em Hallet e
Mayer 2004.
Hillbert, David. 1903. Grundlagen der Geometrie. Segunda edição. Leipzig: Teubner. Comércio
Hillbert, David. 1905a. Logische Principien des mathematischen Denkens. Sra. Vorlesung SS 1905.
Ausgearbeitet von E. Hellinger, Bibliothek des mathematischen Seminars, Univer sität Göttingen.

Hillbert, David. 1905b. Logische Principien des mathematischen Denkens. Sra. Vorlesung SS 1905.
Ausgearbeitet von M. Born, Staats- und Universitätsbiblioteck Göttingen. Código Sra.
D. Hilbert 558a.
Hillbert, David. 1917. Prinzipien der Mathematik. Sra. Vorlesung WS 1917/18. Ausgearbeitet von P.
Bernays, Bibliothek des mathematischen Seminars, Universität Göttingen.
Hillbert, David. 1918a. Axiomatisches Denken. Mathematische Annalen 78: 405-415.
Hillbert, David. 1930. Grundlagen der Geometrie. Sétima edição. Leipzig: Teubner.
Klein, Félix. 1871. Über die sogenannte Nicht-Euklidische Geometrie. Mathematische Anna
len 4: 573-625. Reimpresso em Klein 1921, 254-305.
Klein, Félix. 1873. Über die sogenannte Nicht-Euklidische Geometrie (zweiter Aufsatz). esteira
hematische Annalen 6: 112-145. Reimpresso em Klein 1921, 311-343.
Klein, Félix. 1874. Nachtrag zu dem 'zweiten Aufsatz über Nicht-Euklidische Geometrie'.
Mathematische Annalen 7: 531-537. Reimpresso em Klein 1921, 344-350.
Klein, Félix. 1921. Gesammelte Mathematische Abhandlungen, volume 1. Berlim: Springer.
MOURA, Gregório. 2000. Historiadores e filósofos da lógica: eles são compatíveis? O Teorema de
Bolzano-Weierstrass como Caso de Estudo. História e Filosofia da Lógica 20: 169-180

Pasch, Moritz. 1882. Vorlesung über neuere Geometrie. Leipzig: Teubner.

Rowe, David. 2000. A calma antes da tempestade: as primeiras visões de Hilbert sobre as fundações.
Na Teoria da Prova. História e Significado Filosófico, ed. Ver Hendricks et al., 55-93.
Dordrecht: Kluwer.
Schmidt, Arnaldo. 1931. Die Stetigkeit in der absoluten Geometrie. Sitzungsberichte der Hei delberger
Akademie der Wissenschaften, Mathematisch–naturwissenschaftliche 5: 3–8.
Sommer, Júlio. 1900. [Revisão]: Fundamentos da geometria de Hilbert. Boletim do Americano
Sociedade Matemática 6: 287–299.
TOEPELL, Michael. 1986. Uber die Entstehung von David Hilberts Grundlagen der Geometrie.
Göttingen: Vandenhoeck e Ruprecht.
Veblen, Oswald. 1904. Um Sistema de Axiomas para Geometria. As transações do americano
Sociedade Matemática 5: 343–384.
Zack, Ricardo. 1999. Completude antes de Post: Bernays, Hilbert e o Desenvolvimento da Lógica
Proposicional. Boletim de lógica simbólica 5: 331–366.

Teoria 76 (2013): 139-163

Machine Translated by Google

Completude e Continuidade nos Fundamentos da Geometria 163

Eduardo N. GIOVANNINI é formado em filosofia pela Universidad Nacional del Litoral (UNL). Realizou estudos de
doutorado na Universität Paderborn (Alemanha), sob a orientação do Prof. Dr. Volker Peckhaus, por meio de bolsa
do DAAD. Entre suas publicações recentes estão "A concepção axiomática da geometria de Hilbert à luz da
Bildtheorie de Heinrich Hertz" (Crítica 2012) e "Intuição e método axiomático na concepção inicial da geometria de
David Hilbert" (Latin American Journal of Philosophy 2011).

ENDEREÇO: Universidad Nacional del Litoral Departamento de Filosofia, Faculdade de Humanidades e Ciências -
Cidade Universitária - Paraje El Pozo - (S3000ZAA) - Argentina. E-mail: engiovannini@conicet.gov.ar

Teoria 76 (2013): 139-163

Machine Translated by Google