Título: Axiomas Aritméticos para Conjuntos Hereditariamente Finitos
Modalidade de participação: Pesquisa
Centro:Centro de Ciencias Matematicas e da Natureza
Autores: VITOR MAZAL KRAUSS (1)
Orientador: MARCIA ROSANA CERIOLI (1) , JORGE PETRUCIO VIANA (2)
Palavras-chave: Conjuntos Hereditariamente Finitos Sistemas de Axiomas Definições Recursivas Categoricidade