{ localUrl: '../page/natural_number_numbersets.html', arbitalUrl: 'https://arbital.com/p/natural_number_numbersets', rawJsonUrl: '../raw/506.json', likeableId: '3406', likeableType: 'page', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [ 'EricBruylant' ], pageId: 'natural_number_numbersets', edit: '19', editSummary: '', prevEdit: '18', currentEdit: '19', wasPublished: 'true', type: 'wiki', title: 'Natural numbers: Intro to Number Sets', clickbait: 'Natural numbers are the numbers we use to count in everyday life.', textLength: '8627', alias: 'natural_number_numbersets', externalUrl: '', sortChildrenBy: 'likes', hasVote: 'false', voteType: '', votesAnonymous: 'false', editCreatorId: 'JoeZeng', editCreatedAt: '2016-08-20 16:29:22', pageCreatorId: 'JoeZeng', pageCreatedAt: '2016-07-05 23:15:36', seeDomainId: '0', editDomainId: '1161', 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: '36', text: '> *God created the natural numbers. All else is the work of man.* \n> — Leopold Kronecker %%note: Technically he said God created the *integers* ("die ganzen Zahlen" in German), but negative numbers are arguably the work of man as well.%%\n\nThe natural numbers is a fancy name for the numbers we use to count things, starting from 1, 2, 3, and so on.\n\nThese are the numbers we first learn as children, and are the numbers we are most familiar with to actually be _numbers_. Have you ever had someone tell you that zero wasn't a number? Or that negative numbers didn't really exist, we just use them as a convenient shorthand for owing people things? The fact that these numbers tend to make sense to our heads without any sort of special mental training means they're called the natural numbers.\n\n\n## The set of natural numbers\n\nThere are many ways to define the natural numbers formally. We'll use this one here, because it makes use of only two things:\n\n> The set of natural numbers is the set of numbers that can be obtained by starting from $0$ and counting up.\n\nThe two things that are used here are $0$ and the concept of "counting up". %%note: Mathematicians tend to call this the [-successor_function] instead, which is just a fancy way of saying "the next number".%%\n\nCounting up is exactly what you might think it is — starting from $0$, counting up gives us $1$, $2$, $3$, and so on. We usually write this set as $\\{0, 1, 2, 3, \\ldots\\}$, using the ellipsis to denote that the sequence goes on as you would intuitively expect (continuing with $4$, $5$, etc.) forever and ever.\n\nLet's create some notation around this "counting up" concept that we'll use in the rest of the article. If you have a natural number $n$ %%note: The point of using a letter here is that you can replace it with any number and it will still work.%%, then $n'$ will denote "the number you get after you count up from $n$". So $2'$ is $3$, $59'$ is $60$, $9287'$ is $9288$, and so on. We can also string together a bunch of $\\prime$s to denote counting up twice, three times, etc., for example: $2'''$ is $5$.\n\nNotice that we defined the natural numbers to start from $0$ instead of $1$ like we did at the top of the article. Although some people define the natural numbers as starting from $1$, it makes certain later parts of this article easier if we start from $0$ instead.\n\n\n## Properties of the natural numbers\n\nWe just mentioned that a set has properties that can be used to infer things. What properties do the natural numbers have?\n\n\n### Natural numbers can be compared\n\nThe first thing we usually notice is that certain numbers are bigger than others. The rule for this is very simple: if you can count up from one number to get to another number, the first number is _less than_ the second number. In letter notation, we'd write: $n < m$ if we can write $m$ as $n''''^\\ldots$ for some number of $\\prime$s.\n\nSo because $5 = 2'''$, we know that $2 < 5$.\n\n### Natural numbers can always be put in order\n\nWe know we can compare two natural numbers — and we can use the particular type of comparison being used to show that we can put the natural numbers in _order_ as well. This requires us to show the following thing:\n\n> If $a < b$ and $b < c$, then $a < c$.\n\nIf this property is true, then we know we can't get any strange cycles where $a < b$, $b < c$, and $c < a$ like a rock-paper-scissors game with numbers, and all the numbers will fit neatly onto a line where any number to the left of another number is less than that number.\n\nWe can certainly produce specific examples of this happening — for example, $2 < 4$ and $4 < 6$, so $2 < 6$. But how can we show that it's true for _all_ these cases?\n\nHere is where properties of natural numbers as a set come in handy — rather than just taking this fact on faith, we can actually _prove_ that this is true. In particular, we'll use the fact that less-than was defined using counting-up.\n\nIf $a < b$, we know this means that $b = a''''^\\ldots$ for some number of $\\prime$s. Similarly, if $b < c$, this means that $c = b''''^\\ldots$ for some other number of $\\prime$s.\nKnowing this, we can immediately see that $c = b''''^\\ldots = (a''''^\\ldots)''''^\\ldots$ which is just $a''''^\\ldots$ for a somewhat bigger number of $\\prime$s.\n\n\n### Natural numbers can be added\n\nFrom here, we will start defining _operations_ on the numbers, which are procedures you can perform on them.\n\nTo add two natural numbers, take the number of times the first number was counted up from zero and count the second number up the same number of times. To find out $4 + 3$, note that $4 = 0''''$, so $4 + 3 = 3'''' = 7$.\n\nSaying that natural numbers can be added is to say that this procedure always works (as in it always gives us another natural number). This is important because it allows us to use this operation to define new operations, like the next one.\n\n\n### Natural numbers can be multiplied\n\nTo multiply two natural numbers, take the number of times the first number was counted up from zero, and _add_ the second number to zero the same number of times. As in the addition example, to find out $4 \\times 3$, note that $4 = 0''''$, so $4 \\times 3 = 0 + 3 + 3 + 3 + 3 = 12$.\n\nThis is another way of saying "multiplication is repeated addition", but the important thing is that this procedure depends on addition always working. If addition didn't always work, multiplication might be undefined in some cases.\n\nFor example, let's take the set of odd natural numbers $\\{1, 3, 5, 7, 9,\\ldots\\}$. If we try to multiply $3$ by $5$, we run into the problem of what we get when we add $3$ to $3$ in the second operation. The answer is $6$, but this isn't in our set, so addition doesn't work on the odd natural numbers, and so we can't define multiplication this way.\n\n%%hidden(However...):\nAn astute reader might notice that even though we can't define multiplication this way, the odd numbers can still be multiplied if we somehow get to that definition some other way — the product of two odd numbers is always another odd number.\n\nThis shows that there are sometimes sets that satisfy some properties and not others, even if the second property seems like it must depend on the first. The particular property this set satisfies makes it a multiplicative semigroup, which is another type of number set. But that's just an interesting fact — again, you don't need to know what that means right now.\n%%\n\nAlso important is that multiplication always works as well, because we can now use it to define even more operations, and properties on the numbers.\n\n\n### Natural numbers cannot always be subtracted\n\nYou can _subtract_ a natural number from another natural number if there exists a third natural number such that the sum of the first and third numbers is the second number. Written out in letter notation, a natural number $a$ can be subtracted from another natural number $c$ if there exists a natural number $b$ such that $a + b = c$.\n\nFor example, to quote a [https://www.youtube.com/watch?v=DfCJgC2zezw Tom Lehrer song] about the New Math, "you can't take $3$ from $2$; $2$ is less than $3$". There is no natural number $n$ such that $n + 3 = 2$.\n\nThis might seem like a _lack_ of a property at first, but having numbers that might not necessarily divide other numbers leads to interesting properties that can be analyzed. For example, this is another way of defining the ordering on the natural numbers. One natural number is _less than_ another if you cannot subtract the second natural number from the first.\n\nIf you want numbers to always be subtractable, then you'll need a set bigger than just the natural numbers — you'll need to extend it into the [53r integers], which is what the next article is all about.\n\n\n### Natural numbers cannot always be divided\n\nA natural number is said to _divide_ another natural number if there exists a third natural number such that the product of the first and third numbers is the second number. Written out in letter notation, a natural number $a$ divides another natural number $c$ if there exists a natural number $b$ such that $a \\times b = c$.\n\nJust like subtraction, this _doesn't_ always work. Right away we notice that you can't divide $3$ by $2$ — there's no natural number $n$ such that $n \\times 2 = 3$.\n\nHaving some numbers not able to divide others leads to the existence of [4mf prime numbers], which are numbers that that have exactly two natural numbers can divide them — $1$ and itself. In a set of numbers where every number can divide into every other number (a field, as we mentioned above), there are no primes.\n', 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: [ 'JoeZeng' ], childIds: [], parentIds: [], commentIds: [], questionIds: [], tagIds: [ 'start_meta_tag', 'work_in_progress_meta_tag' ], relatedIds: [], markIds: [], explanations: [], learnMore: [], requirements: [], subjects: [], 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: '19041', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '19', type: 'newEdit', createdAt: '2016-08-20 16:29:22', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19038', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'deleteParent', createdAt: '2016-08-20 15:44:33', auxPageId: 'natural_number', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19036', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'deleteTag', createdAt: '2016-08-20 15:44:23', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19034', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'newTag', createdAt: '2016-08-20 15:44:22', auxPageId: 'start_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '19033', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'deleteTag', createdAt: '2016-08-20 15:44:14', auxPageId: 'math0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '3422', likeableType: 'changeLog', myLikeValue: '0', likeCount: '1', dislikeCount: '0', likeScore: '1', individualLikes: [], id: '19031', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '18', type: 'newEdit', createdAt: '2016-08-20 15:38:24', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18826', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '17', type: 'newEdit', createdAt: '2016-08-19 04:57:47', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18825', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '16', type: 'newEdit', createdAt: '2016-08-19 04:56:08', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18818', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '15', type: 'newEdit', createdAt: '2016-08-18 13:15:38', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18817', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '14', type: 'newEdit', createdAt: '2016-08-18 13:06:27', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18816', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '13', type: 'newEdit', createdAt: '2016-08-18 12:48:40', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18806', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '12', type: 'newEdit', createdAt: '2016-08-18 05:10:59', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18805', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '11', type: 'newEdit', createdAt: '2016-08-18 05:09:09', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18804', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '10', type: 'newEdit', createdAt: '2016-08-18 04:59:00', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18803', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '9', type: 'newEdit', createdAt: '2016-08-18 04:54:06', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18802', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '8', type: 'newEdit', createdAt: '2016-08-18 04:52:59', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18801', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '7', type: 'newEdit', createdAt: '2016-08-18 04:32:43', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18800', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '6', type: 'newEdit', createdAt: '2016-08-18 04:26:59', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18798', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'newAlias', createdAt: '2016-08-18 04:24:10', auxPageId: '', oldSettingsValue: 'natural_number_math0', newSettingsValue: 'natural_number_numbersets' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18799', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '5', type: 'newEdit', createdAt: '2016-08-18 04:24:10', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '18748', pageId: 'natural_number_numbersets', userId: 'EricBruylant', edit: '0', type: 'newTag', createdAt: '2016-08-15 23:36:07', auxPageId: 'math0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16129', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '4', type: 'newEdit', createdAt: '2016-07-08 02:48:23', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '16128', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'newTag', createdAt: '2016-07-08 02:44:52', auxPageId: 'work_in_progress_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15715', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'deleteTag', createdAt: '2016-07-06 16:04:54', auxPageId: 'math0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15696', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '3', type: 'newEdit', createdAt: '2016-07-06 15:07:31', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15667', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'newAlias', createdAt: '2016-07-06 14:41:39', auxPageId: '', oldSettingsValue: '506', newSettingsValue: 'natural_number_math0' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15668', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '2', type: 'newEdit', createdAt: '2016-07-06 14:41:39', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15565', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'deleteParent', createdAt: '2016-07-06 03:25:09', auxPageId: 'number_sets_intro', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15559', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'newParent', createdAt: '2016-07-06 03:24:36', auxPageId: 'number_sets_intro', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15514', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'newTag', createdAt: '2016-07-05 23:15:38', auxPageId: 'math0', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15515', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'newTag', createdAt: '2016-07-05 23:15:38', auxPageId: 'stub_meta_tag', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15517', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '0', type: 'newParent', createdAt: '2016-07-05 23:15:38', auxPageId: 'natural_number', oldSettingsValue: '', newSettingsValue: '' }, { likeableId: '0', likeableType: 'changeLog', myLikeValue: '0', likeCount: '0', dislikeCount: '0', likeScore: '0', individualLikes: [], id: '15513', pageId: 'natural_number_numbersets', userId: 'JoeZeng', edit: '1', type: 'newEdit', createdAt: '2016-07-05 23:15:36', auxPageId: '', oldSettingsValue: '', newSettingsValue: '' } ], feedSubmissions: [], searchStrings: {}, hasChildren: 'false', hasParents: 'false', redAliases: {}, improvementTagIds: [], nonMetaTagIds: [], todos: [], slowDownMap: 'null', speedUpMap: 'null', arcPageIds: 'null', contentRequests: {} }