We will discuss the 9th axiom of Zermelo-Fraenkel set theory with choice, which is often abbreviated ZFC, since it includes the axiom of choice (AC). AC is a controversial axiom that is mathematically equivalent to many well known theorems and has an interesting history in set theory. This thesis is a combination of discussion of the history of the axiom and the reasoning behind why the axiom is controversial. This entails several proofs of theorems that establish the fact that AC is equivalent to such theorems and notions as Tychonoff's Theorem, Zorn's Lemma, the Well-Ordering Theorem, and many more.

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-10-19T12:44:14Z No. of bitstreams: 1 arquivototal.pdf: 685310 bytes, checksum: c2f1ca276071e748c54644c3a47977f8 (MD5) / Approved for entry into archive by Maria Suzana Diniz (msuzanad@hotmail.com) on 2015-10-19T12:44:52Z (GMT) No. of bitstreams: 1 arquivototal.pdf: 685310 bytes, checksum: c2f1ca276071e748c54644c3a47977f8 (MD5) / Made available in DSpace on 2015-10-19T12:44:52Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 685310 bytes, checksum: c2f1ca276071e748c54644c3a47977f8 (MD5) Previous issue date: 2014-08-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The main objective of this work is showing the importance of systems axiomatic in mathematics. We will study some classic axioms, their equivalence and we will see some applications of them. / Este trabalho tem como objetivo fazer uma abordagem sobre a importância de sistemas axiomáticos na Matemática. Estudaremos alguns axiomas clássicos, suas equivalências e veremos algumas aplicações dos mesmos.