導讀：怎樣證明1+1=2 旅游信息化的概念和構成?

皮亞諾公理
皮亞諾公理，也稱皮亞諾公設，是數(shù)學家皮亞諾(皮阿羅)提出的關于自然數(shù)的五條公理系統(tǒng)。根據(jù)這五條公理可以建立起一階算術系統(tǒng)，也稱皮亞諾算術系統(tǒng)。 皮亞諾的這五條公理用非形式化的方法敘述如下： ①1是自然數(shù)； ②每一個確定的自然數(shù)a，都有一個確定的后繼數(shù)a' ，a' 也是自然數(shù)（一個數(shù)的后繼數(shù)就是緊接在這個數(shù)后面的數(shù)，例如，1的后繼數(shù)是2，2的后繼數(shù)是3等等）； ③如果b、c都是自然數(shù)a的后繼數(shù)，那么b=c； ④1不是任何自然數(shù)的后繼數(shù)； ⑤任意關于自然數(shù)的命題，如果證明了它對自然數(shù)1是對的，又假定它對自然數(shù)n為真時，可以證明它對n' 也真，那么，命題對所有自然數(shù)都真。（這條公理也叫歸納公設，保證了數(shù)學歸納法的正確性） 注：歸納公設可以用來證明1是唯一不是后繼數(shù)的自然數(shù)，因為令命題為“n=1或n為其它數(shù)的后繼數(shù)”，那么滿足歸納公設的條件。 若將0也視作自然數(shù)，則公理中的1要換成0。
編輯本段更正式的定義
一個戴德金-皮亞諾結構為一滿足下列條件的三元組(X, x, f)： 1、X是一集合，x為X中一元素，f是X到自身的映射； 2、x不在f的值域內(nèi)； 3、f為一單射。 4、若A為X的子集并滿足x屬于A,且若a屬于A, 則f(a)亦屬于A則A=X。 該結構與由皮阿羅公理引出的關于自然數(shù)集合的基本假設是一致的： 1、P(自然數(shù)集)不是空集； 2、P到P內(nèi)存在a->a直接后繼元素的一一映射； 3、后繼元素映射像的集合是P的真子集； 4、若P任意子集既含有非后繼元素的元素，又有含有子集中每個元素的后繼元素,則此子集與P重合。 能用來論證許多平時常見又不知其來源的定理！ 例如:其中第四個假設即為應用極其廣泛的歸納法第一原理（數(shù)學歸納法）的理論依據(jù)。

這就是數(shù)字相加的理論基礎：當然這是在人們根據(jù)經(jīng)驗1+1=2 1+2=3.......后為了加強理論基礎而設立的一個理論，這就成了自然數(shù)相加的理論基礎

旅游信息化的概念和構成?

旅游信息化
是數(shù)字旅游的基礎階段，它通過對信息技術的運用來改變傳統(tǒng)的旅游生產(chǎn)、分配和消費機制，以信息化的發(fā)展來優(yōu)化旅游經(jīng)濟的運作，實現(xiàn)旅游經(jīng)濟的快速增長。

Hash:45b81ff9891b9377caf9fbcb82fc5e1cadf1878d