Definizione di insieme infinito secondo Dedekind

Un insieme è infinito quando può essere messo in corrispondenza biunivoca con un suo sottoinsieme proprio.