数学的基础——追求严谨|大英百科全书yabo亚博网站首页手机< /title> <link href="https://cdn.britannica.com/mendel-resources/3-81/dist/vendor-bundle.css?v=3.81.1" rel="stylesheet"> <link href="https://cdn.britannica.com/mendel-resources/3-81/dist/mendel-css.css?v=3.81.1" rel="stylesheet"> <link href="https://cdn.britannica.com/mendel-resources/3-81/dist/topic-page.css?v=3.81.1" rel="stylesheet"> </head> <body data-ads-manager="cafeMedia" data-leg="B" class="new-topic topic-desktop first-page-false user-ANONYMOUS user-ads md-desktop leg-b"> <header id="header" class="bg-navy-dark shadow-lg border-bottom border-black"> <div class="grid gx-0 align-items-center"> <div class="col-auto order-1 order-sm-0 d-none d-sm-block"> <a href="//www.rctutku.com/" class="mx-10 mx-sm-20 d-flex align-items-center"><img loading="lazy" src="https://cdn.britannica.com/mendel/eb-logo/MendelNewThistleLogo.png" alt="大英百科全书yabo亚博网站首页手机" width="123"></a> </div> <div class="col grid"> <div class="col-65 col-md-40 col-lg-auto d-none d-sm-inline-block py-5 px-0"> <div class="global-nav-search-container"> <form method="get" action="/search" id="global-nav-search" class="md-search-form "> <div class="search-box position-relative col-100"> <label class="sr-only" for="global-nav-search-query">搜索大英百科全yabo亚博网站首页手机书< /label> <input name="query" id="global-nav-search-query" placeholder="Search Britannica..." class="form-control form-control-lg font-16 search-query pl-20 pr-70 shadow-sm" maxlength="200" autocomplete="off" aria-label="Search Britannica"> <button class="search-reset-btn btn btn-link px-10 position-absolute top-0 h-100 d-none" type="reset"><em class="material-icons" data-icon="close"></em></button> <button class="search-submit btn btn-link text-blue px-10 position-absolute top-0 right-0 h-100" type="submit" disabled><span class="sr-only">点击这里进行搜索< /span><em class="material-icons" data-icon="search"></em></button> </div> </form> </div> </div> <div class="col d-flex align-items-center"> <button class="js-toggle js-toggle-hamburger btn btn-link link-white btn-sm rounded-0 ml-10 px-0"><em class="material-icons inactive-icon" data-icon="menu"></em><em class="material-icons active-icon" data-icon="close"></em><span class="d-none d-sm-inline-block ml-5 p-0">浏览< /span></button> <button class="d-sm-none js-toggle js-toggle-search-flyout btn btn-link link-white btn-sm rounded-0"><em class="material-icons inactive-icon" data-icon="search"></em><em class="material-icons active-icon" data-icon="close"></em></button> <a class="d-none d-md-inline-block link-white font-14 ml-20" href="//www.rctutku.com/dictionary">字典< /a> <a class="d-none d-md-inline-block link-white font-14 ml-20" href="//www.rctutku.com/quiz/browse">小测验< /a> <a class="d-none d-md-inline-block link-white font-14 ml-20" href="//www.rctutku.com/money">钱< /a> </div> </div> <div class="col-35 d-sm-none text-center"> <a href="//www.rctutku.com/" class="d-flex align-items-center justify-content-center"><img loading="lazy" src="https://cdn.britannica.com/mendel/eb-logo/MendelNewThistleLogo.png" alt="大英百科全书yabo亚博网站首页手机" width="119"></a> </div> <div class="col-35 col-sm-auto text-right order-3 mr-lg-15 align-items-center d-flex justify-content-end"> <div class="d-none d-md-inline-block"> <span class="marketing-HEADER_SUBSCRIPTION_DESKTOP2 marketing-content" data-marketing-id="HEADER_SUBSCRIPTION_DESKTOP2"><a href="https://premium.britannica.com/premium-membership/?utm_source=premium&utm_medium=global-nav&utm_campaign=evergreen" class="subscribe-link btn btn-sm btn-orange-dark py-5 mr-10" target="_blank" rel="noopener">订阅< /a></span> </div> <div class="d-inline-block d-md-none"> <span class="marketing-HEADER_SUBSCRIPTION_MOBILE marketing-content" data-marketing-id="HEADER_SUBSCRIPTION_MOBILE"><a href="https://premium.britannica.com/premium-membership/?utm_source=premium&utm_medium=global-nav-mobile&utm_campaign=evergreen" class="subscribe-link btn btn-xs btn-orange-dark p-5" target="_blank" rel="noopener">订阅< /a></span> </div> <button class="js-toggle-user-dropdown js-toggle btn btn-sm btn-link link-white rounded-0 px-md-15 pl-10 pr-5"><span class="d-none d-md-inline-block mr-5">登录< /span><em class="material-icons d-inline-block d-md-none font-20" data-icon="account_circle"></em><em class="material-icons inactive-icon d-inline-block font-18" data-icon="keyboard_arrow_down"></em><em class="material-icons active-icon d-inline-block font-18" data-icon="keyboard_arrow_up"></em></button> </div> </div> <div id="global-nav-react"> <ul class="d-none"> <li><a href="//www.rctutku.com/browse/Entertainment-Pop-Culture">娱乐与流行文化< /a></li> <li><a href="//www.rctutku.com/browse/Geography-Travel">地理和旅游< /a></li> <li><a href="//www.rctutku.com/browse/Health-Medicine">健康与医学< /a></li> <li><a href="//www.rctutku.com/browse/Lifestyles-Social-Issues">生活方式和社会问题< /a></li> <li><a href="//www.rctutku.com/browse/Literature">文学< /a></li> <li><a href="//www.rctutku.com/browse/Philosophy-Religion">哲学与宗教< /a></li> <li><a href="//www.rctutku.com/browse/Politics-Law-Government">政治、法律和政府< /a></li> <li><a href="//www.rctutku.com/browse/Science">科学< /a></li> <li><a href="//www.rctutku.com/browse/Sports-Recreation">体育和娱乐< /a></li> <li><a href="//www.rctutku.com/browse/Technology">技术< /a></li> <li><a href="//www.rctutku.com/browse/Visual-Arts">视觉艺术< /a></li> <li><a href="//www.rctutku.com/browse/World-History">世界历史< /a></li> </ul> <ul class="d-none"> <li><a href="//www.rctutku.com/on-this-day">亚博体育手机安卓版历史上在这一天< /a></li> <li><a href="//www.rctutku.com/quiz/browse">小测验< /a></li> <li><a href="//www.rctutku.com/podcasts">播客< /a></li> <li><a href="//www.rctutku.com/dictionary">字典< /a></li> <li><a href="//www.rctutku.com/biographies">传记< /a></li> <li><a href="//www.rctutku.com/summary">摘要< /a></li> <li><a href="//www.rctutku.com/question">上面的问题< /a></li> <li><a href="//www.rctutku.com/week-in-review">周检查< /a></li> <li><a href="//www.rctutku.com/study/infographics">信息图< /a></li> <li><a href="//www.rctutku.com/stories/demystified">揭秘< /a></li> <li><a href="//www.rctutku.com/list/browse">列表< /a></li> <li><a href="//www.rctutku.com/stories/wtfact"># WTFact< /a></li> <li><a href="//www.rctutku.com/stories/companion">同伴< /a></li> <li><a href="//www.rctutku.com/gallery/browse">图像画廊< /a></li> <li><a href="//www.rctutku.com/stories/spotlight">关注的焦点< /a></li> <li><a href="//www.rctutku.com/stories/the-forum">论坛< /a></li> <li><a href="//www.rctutku.com/one-good-fact">一个良好的事实< /a></li> </ul> <ul class="d-none"> <li><a href="//www.rctutku.com/videos/Entertainment-Pop-Culture">娱乐与流行文化< /a></li> <li><a href="//www.rctutku.com/videos/Geography-Travel">地理和旅游< /a></li> <li><a href="//www.rctutku.com/videos/Health-Medicine">健康与医学< /a></li> <li><a href="//www.rctutku.com/videos/Lifestyles-Social-Issues">生活方式和社会问题< /a></li> <li><a href="//www.rctutku.com/videos/Literature">文学< /a></li> <li><a href="//www.rctutku.com/videos/Philosophy-Religion">哲学与宗教< /a></li> <li><a href="//www.rctutku.com/videos/Politics-Law-Government">政治、法律和政府< /a></li> <li><a href="//www.rctutku.com/videos/Science">科学< /a></li> <li><a href="//www.rctutku.com/videos/Sports-Recreation">体育和娱乐< /a></li> <li><a href="//www.rctutku.com/videos/Technology">技术< /a></li> <li><a href="//www.rctutku.com/videos/Visual-Arts">视觉艺术< /a></li> <li><a href="//www.rctutku.com/videos/World-History">世界历史< /a></li> </ul> <ul class="d-none"> <li><a href="//www.rctutku.com/videos/britannica-classics">yabo亚博网站首页手机《大英百科全书》经典<br>看看这些复古的视频从大英百科全书的档案。yabo亚博网站首页手机< /a></li> <li><a href="//www.rctutku.com/videos/demystified">揭秘视频<br>在启发,大英百科全书所有燃烧你的yabo亚博网站首页手机问题的答案。< /a></li> <li><a href="//www.rctutku.com/videos/wtfact"># WTFact视频<br>在# WTFact大英yabo亚博网站首页手机百科全书股票的一些最奇怪的事实我们可以找到。< /a></li> <li><a href="//www.rctutku.com/videos/this-week-in-history">这一次在历史上<br>本月在这些视频,找出发生了什么(或任何月!)的历史。< /a></li> <li><a href="//www.rctutku.com/videos/explains">yabo亚博网站首页手机大英百科全书解释说<br>在这些视频中,大英百科全书解释了各yabo亚博网站首页手机种各样的主题和常见问题的答案。< /a></li> </ul> <ul class="d-none"> <li><a href="//www.rctutku.com/study/">学生门户< /a><br>yabo亚博网站首页手机大英百科全书是最终的学生资源等主要学习科目的历史,政府、文学,等等。< /li> <li><a href="//www.rctutku.com/explore/savingearth/covid-19/">COVID-19门户< /a><br>虽然这全球健康危机继续发展,它可能是有用的看过去的今天更好地理解如何应对大流行。< /li> <li><a href="//www.rctutku.com/explore/100women/">100名女性< /a><br>yabo亚博网站首页手机大英百科全书的百周年庆祝19修正案,凸显参政者和创造历史的政客。< /li> <li><a href="https://beyond.britannica.com">yabo亚博网站首页手机《大英百科全书》之外< /a><br>我们已经创建了一个新的地方,问题是学习的中心。去做吧。问。我们不会介意的。< /li> <li><a href="//www.rctutku.com/explore/savingearth/">拯救地球< /a><br>yabo亚博网站首页手机大英百科全书给21世纪地球的待办事项清单。了解我们的星球所面临的主要环境问题和对他们能做些什么!< /li> <li><a href="//www.rctutku.com/explore/space/">SpaceNext50< /a><br>yabo亚博网站首页手机大英百科全书礼物SpaceNext50,从比赛到月球空间管理,探索各种各样的主题,我们对太空的好奇心!< /li> </ul> </div> </header> <main> <div class="md-page-wrapper"> <div id="content" class="md-content"> <div class="md-article-container template-desktop infinite-pagination"> <div class="infinite-scroll-container article last"> <article class="article-content content md-expanded" data-topic-id="369221"> <div class="grid gx-0"> <div class="col-auto"> <div class="family-panel md-article-drawer position-relative d-flex border-right-sm open"> <div class="drawer d-flex flex-column open"> <div class="family-panel-header d-lg-flex grid gx-0 align-items-center border-bottom bg-white col-auto"> <div class="col"> <div class="p-15 text-truncate"> <a class="font-serif font-weight-bold font-14 text-black link-blue" href="//www.rctutku.com/science/foundations-of-mathematics">数学的基础< /a> </div> </div> <div class="col-auto d-lg-none"> <button class="d-flex d-lg-none btn-link btn btn-sm shadow-sm js-sections-button pl-0 pr-10 mr-10"><em class="material-icons mr-5 ml-n10 my-n5 md-icon" data-icon="toc"></em>表的内容< /button> </div> </div> <div class="family-section-content p-10 p-lg-0 col"> <div class="d-lg-none family-panel-close-header grid gx-0 align-items-center border-bottom bg-white rounded-tl-lg rounded-tr-lg shadow"> <div class="col"> <div class="p-15 text-truncate"> <a class="font-serif font-weight-bold font-14 text-black link-blue" href="//www.rctutku.com/science/foundations-of-mathematics">数学的基础< /a> </div> </div> <div class="col-auto"> <button class="js-sections-close-button btn-link btn-sm btn py-5 pl-0 pr-10 mr-10"><em class="material-icons " data-icon="close"></em></button> </div> </div> <div class="section-content pt-10 pb-15 pr-10 pl-5 h-100 shadow"> <div class="toc ARTICLE mb-20"> <ul class="list-unstyled mb-0" data-level="h1"> <li data-target="#ref1"><a class="ml-25" href="//www.rctutku.com/science/foundations-of-mathematics">介绍< /a> <div class="ml-40 toc-drawer sub-toc-drawer"></div></li> <li data-target="#ref35439"> <div class="d-flex align-items-center"> <button class="h1-link-drawer-button btn btn-xs btn-circle d-flex rounded" type="button" aria-label="Toggle Heading"><em class="material-icons font-18" data-icon="keyboard_arrow_right"></em></button> <a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics">古希腊的启示< /a> </div> <div class="ml-40 toc-drawer sub-toc-drawer"> <ul class="list-unstyled" data-level="h2"> <li data-target="#ref35440"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics">算术和几何< /a></li> </ul> <ul class="list-unstyled" data-level="h2"> <li data-target="#ref35441"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics">被而变得< /a></li> </ul> <ul class="list-unstyled" data-level="h2"> <li data-target="#ref35442"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Universals">共性< /a></li> </ul> <ul class="list-unstyled" data-level="h2"> <li data-target="#ref35443"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Universals">公理化方法< /a></li> </ul> <ul class="list-unstyled" data-level="h2"> <li data-target="#ref35444"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Universals">数字系统< /a></li> </ul> </div></li> <li data-target="#ref35445"> <div class="d-flex align-items-center"> <button class="h1-link-drawer-button btn btn-xs btn-circle d-flex rounded" type="button" aria-label="Toggle Heading"><em class="material-icons font-18" data-icon="keyboard_arrow_right"></em></button> <a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/The-reexamination-of-infinity">无限的复审< /a> </div> <div class="ml-40 toc-drawer sub-toc-drawer"> <ul class="list-unstyled" data-level="h2"> <li data-target="#ref35446"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/The-reexamination-of-infinity">微积分重开的基本问题< /a></li> </ul> <ul class="list-unstyled" data-level="h2"> <li data-target="#ref35447"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/The-reexamination-of-infinity">非欧几里得的几何图形< /a> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35448"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/The-reexamination-of-infinity">椭圆和双曲几何图形< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35449"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/The-reexamination-of-infinity">黎曼几何< /a></li> </ul></li> </ul> <ul class="list-unstyled" data-level="h2"> <li data-target="#ref35450"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/The-reexamination-of-infinity">康托尔< /a></li> </ul> </div></li> <li data-target="#ref35451"> <div class="d-flex align-items-center"> <button class="h1-link-drawer-button btn btn-xs btn-circle d-flex rounded" type="button" aria-label="Toggle Heading"><em class="material-icons font-18" data-icon="keyboard_arrow_right"></em></button> <a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/The-quest-for-rigour">追求严谨< /a> </div> <div class="ml-40 toc-drawer sub-toc-drawer"> <ul class="list-unstyled" data-level="h2"> <li data-target="#ref35452"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/The-quest-for-rigour">正式的基础< /a> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35453"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/The-quest-for-rigour">集论的开端< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35454"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/The-quest-for-rigour">基本的逻辑< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35455"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Impredicative-constructions">非断言结构< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35456"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Impredicative-constructions">非建设性的论点< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35457"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Impredicative-constructions">直观的逻辑< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35458"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Impredicative-constructions">其他逻辑< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35459"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Formalism">形式主义< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35460"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Formalism">哥德尔< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35461"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Recursive-definitions">递归定义< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35462"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Recursive-definitions">电脑和证明< /a></li> </ul></li> </ul> <ul class="list-unstyled" data-level="h2"> <li data-target="#ref35463"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Category-theory">范畴论< /a> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35464"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Category-theory">抽象的数学< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35465"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Category-theory">同构结构< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35466"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Category-theory">主题理论< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35467"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Intuitionistic-type-theories">直观的类型理论< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35468"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Intuitionistic-type-theories">内部语言< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35469"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Intuitionistic-type-theories">哥德尔和分类理论< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35470"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Intuitionistic-type-theories">寻找一位著名的模型< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35471"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Boolean-local-topoi">布尔当地topoi< /a></li> </ul> <ul class="list-unstyled" data-level="h3"> <li data-target="#ref35472"><a class="w-100" href="//www.rctutku.com/science/foundations-of-mathematics/Boolean-local-topoi">一个杰出的模型或许多模型< /a></li> </ul></li> </ul> </div></li> </ul> </div> <div class="toc FAST_FACTS"> <div class="label pb-5 ml-15"> 快速的事实< /div> <ul class="list-unstyled mb-0 pb-20 " data-level="h1"> <li data-target="#foundations-of-mathematics"><a class="w-95 ml-25" href="//www.rctutku.com/summary/foundations-of-mathematics">基础数学的总结< /a></li> <li data-target="#facts-foundations-of-mathematics"><a class="w-95 ml-25" href="//www.rctutku.com/facts/foundations-of-mathematics">相关内容< /a></li> <li data-target="#Quiz-369221"><a class="w-95 ml-25" href="//www.rctutku.com/facts/foundations-of-mathematics">小测验< /a></li> </ul> </div> <div class="toc MEDIA"> <div class="label pb-5 ml-15"> 媒体< /div> <ul class="list-unstyled mb-0 pb-20 " data-level="h1"> <li data-target="#Images-foundations-of-mathematics"><a class="w-95 ml-25" href="//www.rctutku.com/science/foundations-of-mathematics/images-videos">图片< /a></li> </ul> </div> <div class="toc INFO"> <div class="label pb-5 ml-15"> 更多的< /div> <ul class="list-unstyled mb-0 pb-20 " data-level="h1"> <li data-target="#More-Articles"><a class="w-95 ml-25" href="//www.rctutku.com/science/foundations-of-mathematics/additional-info" rel="nofollow">更多关于这个主题的文章< /a></li> <li data-target="#Additional-Reading"><a class="w-95 ml-25" href="//www.rctutku.com/science/foundations-of-mathematics/additional-info" rel="nofollow">更多的阅读< /a></li> <li data-target="#contributors-foundations-of-mathematics"><a class="w-95 ml-25" href="//www.rctutku.com/science/foundations-of-mathematics/additional-info" rel="nofollow">贡献者< /a></li> <li data-target="#history-foundations-of-mathematics"><a class="w-95 ml-25" href="//www.rctutku.com/science/foundations-of-mathematics/additional-info" rel="nofollow">文章历史< /a></li>< /< /ul> </div> </div> </div> </div> </div> </div> </div> </article> </div> </div> </div> </div> </main> </body> </html>