{
localUrl: '../page/axiom.html',
arbitalUrl: 'https://arbital.com/p/axiom',
rawJsonUrl: '../raw/6cd.json',
likeableId: '3603',
likeableType: 'page',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [
'EricBruylant'
],
pageId: 'axiom',
edit: '3',
editSummary: '',
prevEdit: '2',
currentEdit: '3',
wasPublished: 'true',
type: 'wiki',
title: 'Axiom',
clickbait: '',
textLength: '2822',
alias: 'axiom',
externalUrl: '',
sortChildrenBy: 'likes',
hasVote: 'false',
voteType: '',
votesAnonymous: 'false',
editCreatorId: 'EricBruylant',
editCreatedAt: '2016-10-12 16:28:53',
pageCreatorId: 'EricBruylant',
pageCreatedAt: '2016-10-11 15:38:55',
seeDomainId: '0',
editDomainId: 'AlexeiAndreev',
submitToDomainId: '0',
isAutosave: 'false',
isSnapshot: 'false',
isLiveEdit: 'true',
isMinorEdit: 'false',
indirectTeacher: 'false',
todoCount: '6',
isEditorComment: 'false',
isApprovedComment: 'true',
isResolved: 'false',
snapshotText: '',
anchorContext: '',
anchorText: '',
anchorOffset: '0',
mergedInto: '',
isDeleted: 'false',
viewCount: '66',
text: 'An **axiom** of a [theory_mathematics theory] $T$ is a [well_formed well-formed] [sentence_mathematics sentence] in the [language_mathematics language] of the theory that we assume to be true without a formal justification.\n\n#Models\nModels of a certain theory are going to be those mathematical objects in which the axioms hold, so they can be used to pin down the mathematical structures we want to talk about.\n\nNormally, when we want to reason about a particular aspect of the world we have to try to figure out a sufficiently descriptive set of axioms which are satisfied by the thing we want to reason about. Then we can use [ deduction rules] to deduce consequences of those axioms, which will also be satisfied by the thing in question.\n\nFor example, we may want to model how viral videos spread across the internet. Then we can make some assumptions about this situation. For example, we may consider that the internet is a [ graph] in which each node is a person, and its edges are friendships. We may further assume that the edges have a weight between 0 and 1 representing the probability that in a time step a person will tell its friend about the video. Then we can use this model to figure out how kitten videos end up on your twitter feed.\n\nThis is a particularly complex model with many assumptions behind. Formalizing all those assumptions and turning them into axioms would be a pain in the ass, but they are still there, albeit hidden.\n\nFor example, there might be an axiom in the language of [ first order logic] stating that $\\forall w. weight(w)\\rightarrow 0<w \\wedge w < 1$; that is, every weight in the graph is between $0$ and $1$.\n\nIn the ideal case, we want to write down enough axioms so that the only model satisfying them is the one we want to study. However, when dealing with first order logic there will be many occasions in which this is simply not possible, no matter how many axioms we add to our theory.\n\nOne result showing this is the [ Skolem-Löwenheim theorem].\n\n#Axiom schematas\nFor proper deduction to work as intended, the set of axioms of a theory do not have to be strictly finite, but just [ computable]%%note: Incidentally, a theory whose set of axioms is computable is called [-axiomatizable]%%. \n\nIn particular, we can specify an infinite amount of axioms in one go by specifying an **axiom schemata**, or particular form of a sentence which will be an axioms.\n\nFor example, in [3ft] you specify the [5fz induction axiom schemata], stating that every sentence of the form $[P(0) \\wedge \\forall n. P(n)\\rightarrow P(n+1)]\\rightarrow \\forall n. P(n)$ is an axiom of $PA$.\n\nThe reason why first order logic can handle infinite sets of axioms is due to its [ compactness,] which guarantees that every consequence of the theory is a consequence of a finite subset of the theory.',
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: 'true',
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: 'An **axiom** of a [theory_mathematics theory] $T$ is a [well_formed well-formed] [sentence_mathematics sentence] in the [language_mathematics language] of the theory that we assume to be true without a formal justification.'
},
creatorIds: [
'EricBruylant',
'JaimeSevillaMolina'
],
childIds: [
'axiom_of_choice'
],
parentIds: [
'math'
],
commentIds: [],
questionIds: [],
tagIds: [
'c_class_meta_tag'
],
relatedIds: [],
markIds: [],
explanations: [
{
id: '6575',
parentId: 'axiom',
childId: 'axiom',
type: 'subject',
creatorId: 'EricBruylant',
createdAt: '2016-10-12 16:27:02',
level: '3',
isStrong: 'true',
everPublished: 'true'
}
],
learnMore: [],
requirements: [],
subjects: [
{
id: '6575',
parentId: 'axiom',
childId: 'axiom',
type: 'subject',
creatorId: 'EricBruylant',
createdAt: '2016-10-12 16:27:02',
level: '3',
isStrong: 'true',
everPublished: 'true'
}
],
lenses: [],
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: '20128',
pageId: 'axiom',
userId: 'EricBruylant',
edit: '3',
type: 'newEdit',
createdAt: '2016-10-12 16:28:53',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20126',
pageId: 'axiom',
userId: 'EricBruylant',
edit: '0',
type: 'newTeacher',
createdAt: '2016-10-12 16:27:02',
auxPageId: 'axiom',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20127',
pageId: 'axiom',
userId: 'EricBruylant',
edit: '0',
type: 'newSubject',
createdAt: '2016-10-12 16:27:02',
auxPageId: 'axiom',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20125',
pageId: 'axiom',
userId: 'EricBruylant',
edit: '0',
type: 'deleteTag',
createdAt: '2016-10-12 16:26:55',
auxPageId: 'stub_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20123',
pageId: 'axiom',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-10-12 16:26:51',
auxPageId: 'c_class_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '3601',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '20119',
pageId: 'axiom',
userId: 'JaimeSevillaMolina',
edit: '2',
type: 'newEdit',
createdAt: '2016-10-11 20:54:17',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20118',
pageId: 'axiom',
userId: 'JaimeSevillaMolina',
edit: '0',
type: 'deleteTag',
createdAt: '2016-10-11 20:54:12',
auxPageId: 'placeholder_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20052',
pageId: 'axiom',
userId: 'EricBruylant',
edit: '0',
type: 'newChild',
createdAt: '2016-10-11 15:40:06',
auxPageId: 'axiom_of_choice',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20051',
pageId: 'axiom',
userId: 'EricBruylant',
edit: '0',
type: 'newParent',
createdAt: '2016-10-11 15:38:57',
auxPageId: 'math',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20048',
pageId: 'axiom',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-10-11 15:38:56',
auxPageId: 'placeholder_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20049',
pageId: 'axiom',
userId: 'EricBruylant',
edit: '0',
type: 'newTag',
createdAt: '2016-10-11 15:38:56',
auxPageId: 'stub_meta_tag',
oldSettingsValue: '',
newSettingsValue: ''
},
{
likeableId: '0',
likeableType: 'changeLog',
myLikeValue: '0',
likeCount: '0',
dislikeCount: '0',
likeScore: '0',
individualLikes: [],
id: '20047',
pageId: 'axiom',
userId: 'EricBruylant',
edit: '1',
type: 'newEdit',
createdAt: '2016-10-11 15:38:55',
auxPageId: '',
oldSettingsValue: '',
newSettingsValue: 'created placeholder'
}
],
feedSubmissions: [],
searchStrings: {},
hasChildren: 'true',
hasParents: 'true',
redAliases: {},
improvementTagIds: [],
nonMetaTagIds: [],
todos: [],
slowDownMap: 'null',
speedUpMap: 'null',
arcPageIds: 'null',
contentRequests: {
improveStub: {
likeableId: '3597',
likeableType: 'contentRequest',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '110',
pageId: 'axiom',
requestType: 'improveStub',
createdAt: '2016-10-11 15:41:13'
},
lessTechnical: {
likeableId: '3604',
likeableType: 'contentRequest',
myLikeValue: '0',
likeCount: '1',
dislikeCount: '0',
likeScore: '1',
individualLikes: [],
id: '113',
pageId: 'axiom',
requestType: 'lessTechnical',
createdAt: '2016-10-12 16:29:12'
}
}
}