ConceptCountable setModified just nowProperties 3Hide BooksChapter 2. Mathematical preliminaries JourneyProgramming Language Theory StatuslearningA set that is either finite, or is infinite and there exists a bijection from itself into N\mathbb{N}N. Previous in ConceptsCore calculus languageNext in Concepts Curry howard correspondence