{
localUrl: '../page/empty_set.html',
arbitalUrl: 'https://arbital.com/p/empty_set',
rawJsonUrl: '../raw/5zc.json',
likeableId: '0',
likeableType: 'page',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
pageId: 'empty_set',
edit: '7',
editSummary: '',
prevEdit: '6',
currentEdit: '7',
wasPublished: 'true',
type: 'wiki',
title: 'Empty set',
clickbait: 'The empty set does what it says on the tin: it is the set which is empty.',
textLength: '2746',
alias: 'empty_set',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'DylanHendrickson',
editCreatedAt: '2016-09-26 19:29:23',
pageCreatorId: 'PatrickStevens',
pageCreatedAt: '2016-08-24 08:55:14',
seeDomainId: '0',
editDomainId: 'AlexeiAndreev',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '1',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '2001',
text: 'The empty set is the set having no members. It is usually denoted as $\\emptyset$. Whatever object is considered, it can't be a member of $\\emptyset$. It might be useful in the beginning to think about the empty set as an empty box. It has nothing inside it, but it still does exist.\n\nFormally, the existence of the empty set is asserted by the __Empty Set Axiom__:\n\n$$\\exists B \\forall x : x∉B$$\n\nThe empty set axiom itself does not postulate the uniqueness of $\\emptyset$. However, this fact is easy to prove using the [618 axiom of extensionality].\nConsider sets $A$ and $B$ such that both $\\forall x : x∉A$ and $\\forall x: x∉B$. %%note: That is, suppose we had two empty sets.%% Remember that the extensionality axiom tells us that if we can show $\\forall x : (x ∈ A \\Leftrightarrow x ∈ B)$, then we may deduce that $A=B$. \nIn this case, for every $x$, both parts of the statement $(x ∈ A \\Leftrightarrow x ∈ B)$ are false: we have $x \\not \\in A$ and $x \\not \\in B$.\nTherefore the [-46m] relation is true.\n\nThe existence of the empty set can be derived from the existence of any other set using the axiom schema of bounded comprehension, which states that for any formula $\\phi$ in the language of set theory, $\\forall a \\exists b \\forall x : x \\in b \\Leftrightarrow (x \\in a \\wedge \\phi(x))$. In particular, taking $\\phi$ to be $\\bot$, the always-false formula, we have that $\\forall a \\exists b \\forall x : x \\in b \\Leftrightarrow (x \\in a \\wedge \\bot)$. Since $x \\in b \\Leftrightarrow (x \\in a \\wedge \\bot)$ is logically equivalent to $x \\in b \\Leftrightarrow \\bot$ and hence to $x \\notin b$, the quantified statement is logically equivalent to $\\forall a \\exists b \\forall x : x \\notin b$, and as soon as we have the existence of at least one set to use as $a$, we obtain the Empty Set Axiom above.\n\nIt is worth noting that the empty set is itself a single object. One can construct a set *containing* the empty set: $\\{\\emptyset\\}$. $\\{\\emptyset\\} \\not= \\emptyset$, because $\\emptyset ∈ \\{\\emptyset\\}$ but $\\emptyset ∉ \\emptyset$; so the two sets have different elements and therefore cannot be equal by extensionality.\n%%note: In terms of the box metaphor above, $\\{\\emptyset\\}$ is a box, containing an empty box, whilst $\\emptyset$ is just an empty box%%\n\nAnother way to think about this is using [-4w5].\nIndeed, $|\\{\\emptyset\\}| = 1$ (as this set contains a single element - $\\emptyset$) and $|\\emptyset| = 0$ (as it contains no elements at all). Consequently, the two sets have different amounts of members and can not be equal.\n\n[todo: the empty set is often used to represent the ordinal 0]\n\n[comment: Punctuation can be weird in this edit, as the author is not a native English speaker. Might need to be improved]',
metaText: '',
isTextLoaded: 'true',
isSubscribedToDiscussion: 'false',
isSubscribedToUser: 'false',
isSubscribedAsMaintainer: 'false',
discussionSubscriberCount: '1',
maintainerCount: '1',
userSubscriberCount: '0',
lastVisit: '',
hasDraft: 'false',
votes: [],
voteSummary: 'null',
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: {},
creatorIds: [
'PatrickStevens',
'LukeSciarappa',
'IliaZaichuk',
'EricRogstad',
'DylanHendrickson'
],
childIds: [
'6gb'
],
parentIds: [
'set_mathematics'
],
commentIds: [
'60t'
],
questionIds: [],
tagIds: [
'start_meta_tag'
],
relatedIds: [
'empty_set_universal_property'
],
markIds: [],
explanations: [],
learnMore: [],
requirements: [
{
id: '6258',
parentId: 'set_mathematics',
childId: 'empty_set',
type: 'requirement',
creatorId: 'PatrickStevens',
createdAt: '2016-08-24 08:54:40',
level: '2',
isStrong: 'false',
everPublished: 'true'
}
],
subjects: [],
lenses: [
{
id: '146',
pageId: 'empty_set',
lensId: '6gb',
lensIndex: '0',
lensName: 'Slightly gentler',
lensSubtitle: '',
createdBy: '267',
createdAt: '2016-10-23 17:07:38',
updatedBy: '267',
updatedAt: '2016-10-23 17:08:05'
}
],
lensParentId: '',
pathPages: [],
learnMoreTaughtMap: {},
learnMoreCoveredMap: {},
learnMoreRequiredMap: {},
editHistory: {},
domainSubmissions: {},
answers: [],
answerCount: '0',
commentCount: '0',
newCommentCount: '0',
linkedMarkCount: '0',
changeLogs: [
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20260',
pageId: 'empty_set',
userId: 'PatrickStevens',
edit: '0',
type: 'newChild',
createdAt: '2016-10-23 17:07:17',
auxPageId: '6gb',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19730',
pageId: 'empty_set',
userId: 'DylanHendrickson',
edit: '7',
type: 'newEdit',
createdAt: '2016-09-26 19:29:23',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19642',
pageId: 'empty_set',
userId: 'EricRogstad',
edit: '6',
type: 'newEdit',
createdAt: '2016-09-16 19:22:36',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'Applying Luke Sciarappa's second edit proposal'
},
{
likeableId: '3515',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '19641',
pageId: 'empty_set',
userId: 'LukeSciarappa',
edit: '5',
type: 'newEditProposal',
createdAt: '2016-09-16 14:22:43',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '3516',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '2',
dislikeCount: '0',
likeScore: '2',
individualLikes: [],
id: '19640',
pageId: 'empty_set',
userId: 'LukeSciarappa',
edit: '4',
type: 'newEdit',
createdAt: '2016-09-16 14:15:23',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19623',
pageId: 'empty_set',
userId: 'AlexeiAndreev',
edit: '0',
type: 'deleteChild',
createdAt: '2016-09-15 21:20:30',
auxPageId: 'empty_set_universal_property',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19374',
pageId: 'empty_set',
userId: 'EricRogstad',
edit: '0',
type: 'newTag',
createdAt: '2016-08-29 03:15:48',
auxPageId: 'start_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19373',
pageId: 'empty_set',
userId: 'EricRogstad',
edit: '0',
type: 'deleteTag',
createdAt: '2016-08-29 03:15:40',
auxPageId: 'stub_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19355',
pageId: 'empty_set',
userId: 'PatrickStevens',
edit: '3',
type: 'newEdit',
createdAt: '2016-08-28 13:49:29',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '3465',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '3',
dislikeCount: '0',
likeScore: '3',
individualLikes: [],
id: '19354',
pageId: 'empty_set',
userId: 'IliaZaichuk',
edit: '2',
type: 'newEdit',
createdAt: '2016-08-28 13:39:14',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'added informal description; stated the Empty Set Axiom; proved uniqueness; clarified {the empty set} != the empty set.'
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19122',
pageId: 'empty_set',
userId: 'PatrickStevens',
edit: '0',
type: 'newChild',
createdAt: '2016-08-25 07:37:33',
auxPageId: 'empty_set_universal_property',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19096',
pageId: 'empty_set',
userId: 'PatrickStevens',
edit: '0',
type: 'newTag',
createdAt: '2016-08-24 08:55:25',
auxPageId: 'stub_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19094',
pageId: 'empty_set',
userId: 'PatrickStevens',
edit: '0',
type: 'newParent',
createdAt: '2016-08-24 08:55:16',
auxPageId: 'set_mathematics',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '19095',
pageId: 'empty_set',
userId: 'PatrickStevens',
edit: '0',
type: 'newRequirement',
createdAt: '2016-08-24 08:55:16',
auxPageId: 'set_mathematics',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '3430',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '19092',
pageId: 'empty_set',
userId: 'PatrickStevens',
edit: '1',
type: 'newEdit',
createdAt: '2016-08-24 08:55:14',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'true',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {
improveStub: {
likeableId: '3431',
likeableType: 'contentRequest',
myLikeValue: '0',
likeCount: '2',
dislikeCount: '1',
likeScore: '2',
individualLikes: [],
id: '60',
pageId: 'empty_set',
requestType: 'improveStub',
createdAt: '2016-08-24 17:16:54'
}
}
}