{ localUrl: '../page/uncountability_math_3.html', arbitalUrl: 'https://arbital.com/p/uncountability_math_3', rawJsonUrl: '../raw/4zp.json', likeableId: '2968', likeableType: 'page', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [ 'EricBruylant' ], pageId: 'uncountability_math_3', edit: '18', editSummary: '', prevEdit: '17', currentEdit: '18', wasPublished: 'true', type: 'wiki', title: 'Uncountability (Math 3)', clickbait: 'Formal definition of uncountability, and foundational considerations.', textLength: '1635', alias: 'uncountability_math_3', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'PatrickStevens', editCreatedAt: '2016-10-26 21:09:44', pageCreatorId: 'PatrickStevens', pageCreatedAt: '2016-07-01 15:14:55', seeDomainId: '0', editDomainId: 'AlexeiAndreev', submitToDomainId: '0', isAutosave: 'false', isSnapshot: 'false', isLiveEdit: 'true', isMinorEdit: 'false', indirectTeacher: 'false', todoCount: '0', isEditorComment: 'false', isApprovedComment: 'true', isResolved: 'false', snapshotText: '', anchorContext: '', anchorText: '', anchorOffset: '0', mergedInto: '', isDeleted: 'false', viewCount: '74', text: 'A [-3jz] $X$ is *uncountable* if there is no [499 bijection] between $X$ and [45h $\\mathbb{N}$]. Equivalently, there is no [4b7 injection] from $X$ to $\\mathbb{N}$.\n\n## Foundational Considerations ##\n\nIn set theories without the [69b axiom of choice], such as [ZF Zermelo Frankel set theory] without choice (ZF), it can be [5km consistent] that there is a [-cardinal_number] $\\kappa$ that is incomparable to $\\aleph_0$. That is, there is no injection from $\\kappa$ to $\\aleph_0$ nor from $\\aleph_0$ to $\\kappa$. In this case, cardinality is not a [540 total order], so it doesn't make sense to think of uncountability as "larger" than $\\aleph_0$. In the presence of choice, [5sh cardinality is a total order], so an uncountable set can be thought of as "larger" than a countable set.\n\nCountability in one [-model] is not necessarily countability in another. By [skolems_paradox Skolem's Paradox], there is a model of set theory $M$ where its [6gl power set] of the naturals, denoted $2^\\mathbb N_M \\in M$ is countable when considered outside the model. Of course, it is a [6fk theorem] that $2^\\mathbb N _M$ is uncountable, but that is within the model. That is, there is a bijection $f : \\mathbb N \\to 2^\\mathbb N_M$ that is not inside the model $M$ (when $f$ is considered as a set, its graph), and there is no such bijection inside $M$. This means that (un)countability is not [absoluteness absolute].\n\n## See also\n\nIf you enjoyed this explanation, consider exploring some of [3d Arbital's] other [6gg featured content]!\n\nArbital is made by people like you, if you think you can explain a mathematical concept then consider [-4d6]!', metaText: '', isTextLoaded: 'true', isSubscribedToDiscussion: 'false', isSubscribedToUser: 'false', isSubscribedAsMaintainer: 'false', discussionSubscriberCount: '1', maintainerCount: '1', userSubscriberCount: '0', lastVisit: '', hasDraft: 'false', votes: [], voteSummary: [ '0', '0', '0', '0', '0', '0', '0', '0', '0', '0' ], muVoteSummary: '0', voteScaling: '0', currentUserVote: '-2', voteCount: '0', lockedVoteType: '', maxEditEver: '0', redLinkCount: '0', lockedBy: '', lockedUntil: '', nextPageId: '', prevPageId: '', usedAsMastery: 'false', proposalEditNum: '0', permissions: { edit: { has: 'false', reason: 'You don't have domain permission to edit this page' }, proposeEdit: { has: 'true', reason: '' }, delete: { has: 'false', reason: 'You don't have domain permission to delete this page' }, comment: { has: 'false', reason: 'You can't comment in this domain because you are not a member' }, proposeComment: { has: 'true', reason: '' } }, summaries: { Summary: 'A [-3jz] $X$ is *uncountable* if there is no [499 bijection] between $X$ and [45h $\\mathbb{N}$]. Equivalently, there is no [4b7 injection] from $X$ to $\\mathbb{N}$.' }, creatorIds: [ 'PatrickStevens', 'DanielSatanove', 'EricBruylant', 'DylanHendrickson' ], childIds: [], parentIds: [ 'uncountable' ], commentIds: [], questionIds: [], tagIds: [ 'c_class_meta_tag' ], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [ { id: '4660', parentId: 'math3', childId: 'uncountability_math_3', type: 'requirement', creatorId: 'PatrickStevens', createdAt: '2016-07-01 15:16:32', level: '2', isStrong: 'true', everPublished: 'true' }, { id: '6632', parentId: 'axiom_of_choice', childId: 'uncountability_math_3', type: 'requirement', creatorId: 'EricBruylant', createdAt: '2016-10-26 12:04:50', level: '2', isStrong: 'false', everPublished: 'true' } ], subjects: [ { id: '6589', parentId: 'uncountable', childId: 'uncountability_math_3', type: 'subject', creatorId: 'EricBruylant', createdAt: '2016-10-20 15:28:43', level: '3', isStrong: 'true', everPublished: 'true' } ], lenses: [], lensParentId: 'uncountable', pathPages: [], learnMoreTaughtMap: { '2w0': [ '6fk' ] }, learnMoreCoveredMap: {}, learnMoreRequiredMap: {}, editHistory: {}, domainSubmissions: {}, answers: [], answerCount: '0', commentCount: '0', newCommentCount: '0', linkedMarkCount: '0', changeLogs: [ { likeableId: '3673', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '20338', pageId: 'uncountability_math_3', userId: 'PatrickStevens', edit: '18', type: 'newEdit', createdAt: '2016-10-26 21:09:44', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3674', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '20337', pageId: 'uncountability_math_3', userId: 'PatrickStevens', edit: '17', type: 'newEdit', createdAt: '2016-10-26 21:07:16', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20336', pageId: 'uncountability_math_3', userId: 'EricBruylant', edit: '16', type: 'newEdit', createdAt: '2016-10-26 20:16:57', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3661', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '20330', pageId: 'uncountability_math_3', userId: 'PatrickStevens', edit: '15', type: 'newEdit', createdAt: '2016-10-26 17:24:47', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20328', pageId: 'uncountability_math_3', userId: 'EricBruylant', edit: '0', type: 'newRequirement', createdAt: '2016-10-26 12:04:51', auxPageId: 'axiom_of_choice', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20325', pageId: 'uncountability_math_3', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-10-26 12:04:03', auxPageId: 'c_class_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20327', pageId: 'uncountability_math_3', userId: 'EricBruylant', edit: '0', type: 'deleteTag', createdAt: '2016-10-26 12:04:03', auxPageId: 'b_class_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20324', pageId: 'uncountability_math_3', userId: 'EricBruylant', edit: '0', type: 'deleteTag', createdAt: '2016-10-26 12:03:56', auxPageId: 'formal_definition_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20322', pageId: 'uncountability_math_3', userId: 'EricBruylant', edit: '14', type: 'newEdit', createdAt: '2016-10-26 12:03:44', auxPageId: '', oldSettingsValue: '', newSettingsValue: 'added clickbait, greenlinked N' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20316', pageId: 'uncountability_math_3', userId: 'DanielSatanove', edit: '13', type: 'newEdit', createdAt: '2016-10-25 22:38:47', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20315', pageId: 'uncountability_math_3', userId: 'DanielSatanove', edit: '12', type: 'newEdit', createdAt: '2016-10-25 22:37:43', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20314', pageId: 'uncountability_math_3', userId: 'DanielSatanove', edit: '11', type: 'newEdit', createdAt: '2016-10-25 22:36:39', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20313', pageId: 'uncountability_math_3', userId: 'DanielSatanove', edit: '10', type: 'newEdit', createdAt: '2016-10-25 22:35:37', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3662', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '20311', pageId: 'uncountability_math_3', userId: 'DanielSatanove', edit: '9', type: 'newEdit', createdAt: '2016-10-25 21:45:30', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3664', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '20308', pageId: 'uncountability_math_3', userId: 'DanielSatanove', edit: '8', type: 'newEdit', createdAt: '2016-10-25 21:20:57', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3663', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '20307', pageId: 'uncountability_math_3', userId: 'DanielSatanove', edit: '7', type: 'newEdit', createdAt: '2016-10-25 20:48:44', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '20181', pageId: 'uncountability_math_3', userId: 'EricBruylant', edit: '0', type: 'newSubject', createdAt: '2016-10-20 15:28:43', auxPageId: 'uncountable', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19863', pageId: 'uncountability_math_3', userId: 'DylanHendrickson', edit: '6', type: 'newEdit', createdAt: '2016-10-05 19:44:16', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18555', pageId: 'uncountability_math_3', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-08-07 18:59:54', auxPageId: 'b_class_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3364', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '18554', pageId: 'uncountability_math_3', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-08-07 18:59:08', auxPageId: 'formal_definition_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15087', pageId: 'uncountability_math_3', userId: 'PatrickStevens', edit: '5', type: 'newEdit', createdAt: '2016-07-01 21:12:22', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15086', pageId: 'uncountability_math_3', userId: 'PatrickStevens', edit: '4', type: 'newEdit', createdAt: '2016-07-01 21:12:09', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15084', pageId: 'uncountability_math_3', userId: 'PatrickStevens', edit: '3', type: 'newEdit', createdAt: '2016-07-01 21:07:56', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15047', pageId: 'uncountability_math_3', userId: 'PatrickStevens', edit: '0', type: 'newRequirement', createdAt: '2016-07-01 15:16:32', auxPageId: 'math3', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15046', pageId: 'uncountability_math_3', userId: 'PatrickStevens', edit: '0', type: 'newParent', createdAt: '2016-07-01 15:15:51', auxPageId: 'uncountable', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15044', pageId: 'uncountability_math_3', userId: 'PatrickStevens', edit: '2', type: 'newEdit', createdAt: '2016-07-01 15:15:23', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15043', pageId: 'uncountability_math_3', userId: 'PatrickStevens', edit: '1', type: 'newEdit', createdAt: '2016-07-01 15:14:55', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'true', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }