A teoria de conjuntos entre 1909 e 1930: o amadurecimento formal de uma teoria axiomática

Authors

  • Carlos G. Gonzalez Instituto de Filosofia (IFILO) - Universidade Federal de Uberlândia (UFU)

Abstract

This paper aims to show the historical development of an axiomatic system, emphasizing the logical aspects in the context of the evolution of mathematical logic in general and the logic ideas on the same period. The example chosen was the axiomatic set theory what begins in 1908 with E. Zermelo and the discussions and changes occurring until 1930 when ZF was presented, axiomatic system of set theory which is used until today.

[RESUMO]
Este artigo pretende apresentar o desenvolvimento histórico de um sistema axiomático, ressaltando os aspectos lógicos como parte da evolução da lógica matemática no período referido, incluindo as ideias lógicas pertinentes. O exemplo utilizado foi a axiomática da Teoria de Conjuntos que começa em 1908 com E. Zermelo e as discussões e mudanças acontecidas até 1930 quando é apresentado ZF, o sistema axiomático da Teoria de Conjuntos que é usado até hoje.

Downloads

Download data is not yet available.

Downloads

Published

2020-06-23

Issue

Section

Artigos