DEFINICOES DE CONJUNTO FINITO.

ANALISAMOS AS DEFINICOES DE CONJUNTO FINITO DE DEDEKIND, DE ZERMELO E DE ALARCON ATHENS.A PARTIR DESTAS DEFINICOES FORMULAMOS E DEMONSTRAMOS DIVERSOS PRINCIPIOS DE INDUCAO MATEMATICA PARA CONJUNTOS FINITOS. OBT IVEMOS UMA NOVA DEFINICAO DE CONJUNTO FINITO. UM CONJUNTO C E FINITO SE E SOMENTE SE O CONJUNTO VAZIO PERTENCE A TODA FAMILIA NAO-VAZIA F DE SUBCONJUNTOS DE C TAL QUE PARA TODO CONJUNTO NAO-VAZIO DEF EXISTE UM UNICO CONJUNTO EEF ONDE E=D-{D} PARA ALGUM DED. DEMONSTRAMOS QUE, NA AXIOMATICA DE ZERMELO - FRAENKEL SEM FORMALMENTE EQUIVALENTE AO AXIOMA DE DEDEKIND, SEGUNDO O QUAL TODO CONJUNTO INFINITO NO SENTIDO ARITMETI