T2

20 Setembro 2019, 10:30 • Mário Jorge Edmundo

Demonstração do teorema do isomorfismo de Dedekind (conclusão). Definições recursivas da adição e da multiplicação; os números naturais com adição, multiplicação, zero e um é um semi-anel comutativo; lei do corte para a adição. Definição da ordem nos números naturais.