Hvilken oändlig mängd typer afden