Fundamentos de matemática - recortes

Lógica de predicados: alfabeto; formulas ,variáveis;: Fórmulas:

Algumas abreviações

VARIÁVEIS PROPOSICIONAIS: x,y,z possivelmente indexadas, para indicar

objetos, conjuntos ou elementos. Letras maiúsculas A,B,C indicar conjuntos.
Letras gregas indicar proposições.
Operadores: negação; conjunção, disjunção; implicação; dupla implicação.
Quantificadores: universal (para todo); existencial (existe).
Operador de binario: igualdade; pertinência;
Símbolos adicionais: parênteses; chaves (colchetes)

Definição de pertinência:
 ● Axioma da Extensão: Um conjunto é determinado pela sua extensão, isto
é, pelos seus elementos.

Definição de Inclusão:

● Axioma do conjunto vazio: garante que existe um conjunto X para o qual

não há elementos pertencentes.
 ● Axioma do par (não ordenado):

para todos conjuntos x e y existe um conjunto cujos elementos são x e y

● Axioma do conjunto união:

● Axioma das partes

● Axiomas de separação
● Axioma do infinito
● Axioma da infinidade - Construção dos números
 ● Axioma da substituição

Axioma da escolha

● Axioma da regularidade
Operações entre conjuntos: união, diferença e interseção,
Par ordenado.

Produto cartesiano
Relação

Relação de equivalência
Função
Aritimética dos números naturais
Axioma da escolha e suas aplicações
Lema de Zorn
Princípio da Boa Ordem
Equivalencia : Escolha, Zorn, Princípio da boa ordem
Conjuntos equipotentes
Teorema S-B
Conjuntos finitos; enumeráveis ; não-enumerável