Números naturais e finitos: Nat e Fin
