比如，0是自然數，即：0∈N。每一個自然數 nn，都有且僅有一個確定的後繼數 n′n′，並且 n′n′ 也是自然數。
即：?n∈N,?!?n′∈N?n∈N,?!n′∈N，對於任意自然數 m,nm,n，如果 mm 的後繼數等於 nn 的後繼數（即 m′=n′m′=n′），則 m=nm=n。0 不是任何自然數的後繼數。即：不存在自然數 nn，使得 n′=0n′=0。形式化：?(?n∈N,?n′=0)?(?n∈N,n′=0)。
從這些公式出發，用區區五十步就能證明1+1=2。
希爾伯特覺得這套基於公理和證明的數學體系非常棒，他提出，還要再證明這套系統有三種美好品質，即：
完備性（所有真命題都可以從公理出發得到證明）
一致性（這個體系不存在矛盾）
可判定性（存在一個演算法能判定任意一個命題是否可以從公理出發證明）。
如果能證明公理化的數學體系有這三點美好品質，那麼數學就再也無懈可擊，人類甚至可以發明一臺機械先寫出所有公理，然後進一步推演，寫出所有一步證明定理，二步證明定理。
注入龐大算力之後，這臺機械最終能證明一切數學真理，所有猜想都必然可以證明或證偽，就像是湖水裡面的魚一樣，只要抽乾湖水就能收穫所有的魚。
數學的大廈己經落成，後續的數學家只剩一些修飾工作了。
這樣的數學真是美好，一切都是確定的。
然而哥德爾一揮手，數學大廈上方出現兩朵烏雲。
他證明了數學根本不完備。
。數爾德哥做號符種這，號編為作數然自的二無一獨個一予賦都，列序明證個一每至甚、式公個一每、號符個一每的中言語式形為，統系碼編套一了明發他，妙巧常非路思明證的爾德哥
。彙詞的生陌個這著複重聲輕晨許”？數爾德哥“
”。’明證可不統系在G題命‘是恰恰的說G而，G題命個一出造構能總你，統系式形的算含包個一何任於對，了明證數爾德哥用他“：上燈示指的爍閃房機遠在落目士院鄭”。數爾德哥，對“
”？己自說己自……是不這“：麻發些有都皮頭，般一悟頓覺晨許
”。力能的己自論談了有擁就然忽統系學數，是於。算運算換轉被則規演推，數然自譯翻被列序明證，本算了進碼編，念概學數元個這明證把爾德哥“：頭點點士院鄭”。頭源的論悖學數切一，指自，鍵關了解理你來看“
”。區盲在存然必他，著味意就本這，勺腦後的己自著指法無卻，勺腦後的己自清看子鏡著對能然忽人個一像就“：重加微微氣語，頓了頓他
。問晨許”？了機的水湖乾種那出造法沒們我……以所“
”。盾矛相自定必就它，切一明證能到備完它果如；理真的出不證它有定必就，的洽自是它果如，機明證的化械機臺一，說他，特伯爾希了死殺爾德哥“：落利脆乾答回的士院鄭”。能不遠永，能不“
”？吧備完學數著不用也，畫畫詩寫時平衍大？嗎理定明證要需IA“：眉皺地困晨許”？係關麼什有慧智工人強和這但“
。雜複的來上不說種一有裡目，眼一他了看士院鄭
”？麼什是慧智得覺你，啊許小“
。了住問被晨許
“：太的己自敲了敲手士院鄭”。重權突和路網經神是而，演推輯邏和理公是不式方現實是只，統系式形個一是也你，說上義意種某從，律規的學力子量循遵，構元經神億十數由，統系理個一是腦大的你，考思在在現你“
。斷判覺首的限侷越超出做中之限侷在能至甚，限侷的己自到識意能們我。題問看統系出跳夠能們我，力能的殊特很個一有，類人，我和你但
”。造創始開零從法無遠永便它，識知的類人有沒果如，以可不慧智工人而，造創明發夠能類人，此如為因是正
”……是的決解機算計子量以所“：微孔瞳晨許
”。化演態狀行進，理推離以可質本算計的它，徑路輯邏數無的態加疊理時同夠能它，種這的建構在正們我是別特，機算計子量但。之統系層一第的爾德哥在困被終始它，則規的限有是，法算演是的行執，機靈圖臺一是機算計典經“：沉低音聲的士院鄭
【從細胞編輯器開始】
開局就獲得細胞編輯器，可以完美掌控自己的每一個細胞，對細胞進行任意編輯。
改造大腦記憶細胞，獲得過目不忘的能力。
改造巨噬細胞，讓巨噬細胞能夠識別並消滅艾滋病毒。
改造細胞內的蛋白質，製造生物計算機。
改造細胞，讓細胞可以無限分裂，獲得永生的能力。
改造細胞，在細胞內直接產生核反應，將物質轉化為能量，每個細胞都相當於一個核反應堆。
讓細胞無限分裂，繁殖成星球那麼大的細胞團，打造成行星堡壘。
腦洞有多大，細胞編輯器就有多強！
人類的生物科技時代，由我開啟！
【喪屍+天災+異能+空間+囤貨+逃難日常+天選之女女主+隱藏款大佬男主】
洗潔精、洗衣液、紙巾、殺蟲劑、護膚品；大米小米、紅豆綠豆、壓縮餅乾；肉罐頭、水果罐頭、常溫牛奶、蔬菜乾……
618又來了。
張曉曉繼續瘋狂囤囤囤，結果一抬頭，天瞬間變黑，極端天氣來襲，安穩時代正式結束，末日時代正在開啟中……
她只是淡定地打開儲物APP，看着自己的物資鬆了口氣。
莫慌莫慌。
這波終究是她這囤貨癖的傢伙贏了！！不就是末世而已？
輕鬆苟活！！！
【1VN+雄競+修羅場+甜寵+瘋批+輕鬆+男女全潔+成長型妹寶+偏日常】
【萌妹小”慫“包×甜寵日常小暖男×原書瘋批男主團】
母胎solo二十三年的社畜鹿曉雅穿書了，還是她每日舔屏的哨向文！！
好消息：終於穿進NP文進去演兩集了，大黃丫頭的終極幻想。
壞消息：穿成惡毒女配了，就只能演兩集！大胸肌，持久力，龍蛇雙尾都跟自己沒關係。
系統是木得有的
金手指也是木得有的
除了了解所有男主們都是瘋批，和他們的各項”特長“外。
澀澀的鏡頭以外的劇情她是壓根沒記。
秉持着“都不白來”的原則，她決定把惡毒女配苟成路人女配
然後，找個實力還行的哨兵，談一場“活色生香”的甜甜的戀愛，它不香嗎？
隨着，瘋批們的貼近……畫風逐漸開始跑偏……
高冷隊長嘴硬心軟，暗地護她；
禁慾指揮官步步淪陷，日日哄她；
瘋批們爭風吃醋，圍着她轉不停。
納尼？她才是女主？不可能，絕對不可能。
但看着圍繞着她的那一個個血脈僨張的肉體……
她只是貪吃了點，她有什麼錯？！
“大黃丫頭”們，作者給你們車門鎖死，準備飆車了，澀澀的很安心。
主角：蘇玥蘇語蘇玥
血月升空，末世降臨，詭異橫行
倖存者只能不斷逃亡，躲避詭異的獵殺
只有超凡者能殺死詭異
而蘇玥她是異能者，喪屍末世穿過來的異能者
末日嗎？她熟悉，升級打怪而已，帶着自己的末日生存法則來闖一闖
“我知道你喜歡我，只要答應我們組隊，共享物資，我可以考慮做你的男朋友。”
末日生存法則第一條：威脅自身安全的人或事，都要第一時間處理
“我是聖母序列，你怎麼可以殺我。”
末日生存法則第四條：末世先殺聖母，特別是偽聖母
划重點划重點
一開始，女主穿過來，第一反應要刀了姐姐，是因為她還沒有和原主記憶融合，只是看到匕首對着自己，以為面前的女人要殺自己，就想反殺回去。
畢竟她是從喪屍末世穿過來的，不允許一切威脅到自己的事物存在。
不是毒點哈
【向哨+雄競+男潔+甜寵+成長型女主+女強+萌寵+忠犬+穿越】穿成惡毒女配，F級廢物，五個SS級哨兵個個想殺我。開局就扇了想拿她當工具人的那個一巴掌，反手強吻了他。爽了。但好消息和壞消息一起來——好消息：綁定了五個SS級哨兵，個個顏好腿長腰力棒。壞消息：全員想暗鯊我。更壞的消息：我是F級廢物，親媽SSS級嚮導，剛宣布把我掃地出門，流放偏遠星球。完球。妥妥的天崩開局。正準備躺平當鹹魚時，體內突然冒出一顆蛋。孵出了一隻圓滾滾，毛茸茸的糯米糰子，實力瞬間突破F級。反手提出要解綁，準備去流放星球躺平三個月，然後甩了這群臭男人。但等等，為什麼他們看我的眼神越來越不對勁？那個被我強吻的，現在天天堵我門口求親親？那個對我愛搭不理的，現在天天噓寒問暖？那個總想把我做成標本的，現在天天怕她受傷？對此我只想說——“三個月後，各回各家，別耽誤我擼狐狸。”
暫無簡介
（評分剛出會漲！）
【末世喪屍+系統+移動超市+女主真五歲】
末世爆發了，失去媽媽的歲歲被舅舅一家搶佔了房子。
即將餓死的時候綁定了末世經營系統，系統借用了她的小熊玩偶做身體。
主線任務——經營超市，開遍各大基地！
支線任務——尋找崽崽素未謀面的老父親！
一人一熊從小推車做起，一步步升級擴大經營。
誒？怎麼突然就把超市開遍全國了！
誒？前面這人怎麼和歲歲長得那麼像！
末世後期，有記者採訪歲歲是如何把超市做大做強的？
歲歲一手牽着爸爸一手牽着小熊，身後還有個大高個機器人，嘿嘿一笑：“天機不可泄露。”
病嬌惡獸修羅場一雌多雄江眠在被獸人圈養的第十年穿回了人類圈養獸人的時代，人類圈養獸人成為風氣，獸人地位極其低微，人類地位高崇，統治着整個星際。她還沒來得高興，就發現自己穿成了星網上那個被流放荒星，然後被自己圈養的獸人殺死成為新聞頭條的惡毒真千金。更恐怖的是，她發現原身圈養的五個獸人竟然是未來屠殺人類企圖毀滅星際的五大黑化獸主。而現在這五大獸主都想殺死她！蛇鱗，她拔的。狼獸人身上的鞭痕，她打的。蝴蝶獸人的翅膀，她折斷的。蜥蜴獸人，打過。蠍子獸人，也打過。江眠為了活命只好戰戰兢兢的治癒獸主們。後來清純實則邪惡的蝴蝶獸人，翅膀被折斷卻依舊亮着越來越多閃粉在吸引注意力：我不好看嗎？為什麼不看我？陰濕男鬼毒蛇獸人，即使蛇尾流着血也要攀沿上她的小腿：我想讓你身上染滿我的氣味……邪氣至極正面剛的黑狼，總是邪氣的笑問：選擇喜歡我還是選擇我死？魅惑至極的青色蠍子，次次直白的盯着她：姐姐，要不要跟低賤的獸人沉淪呀？溫柔卻如刀的龍骨蜥蜴，總是去天台吹涼風：寶寶，天台的風好大啊，你愛不愛我啊？
為了當年的驚鴻一瞥，江清婉隱姓埋名嫁入將軍府，花了半身修為幫秦家改命。
誰知男子曾經回到北京，帶回了美麗華貴的縣主。
婆婆明褒暗貶地逼她讓位，甚至喊了她五年母親的養子，也輕蔑地看着她。
“你是一個商女，怎麼配做我媽媽？”
看透一切的江清婉拋下一紙和離書，收回了對秦家的保佑，讓他們厄運纏身。
本想逍遙離京，卻遇到了身負怪命格的九王爺，竟能幫她恢復修養。
她成了九王爺的幕僚，京城謠言四起，都說她是王府的外室嬌娘。
男人冷着張俊美如仙的臉，充滿了厭惡。
“她只是我邀請的天師。”
後來，江清婉成了著名的東京神算，京中權貴紛紛跪求一卦。
前夫後悔不已，糾纏不清，一聲“婉婉”喊得真心切。
貴氣清冷的九王爺化身醋精加寵妻狂魔，抱着人的小腰宣誓主權。
什麼天師？這是他的小嬌娘。