CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-disabled vector-feature-custom-font-size-clientpref--excluded vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-not-available" lang="fr" dir="ltr"> <head> <meta charset="UTF-8"> <title>Catégorie:Logique mathématique — Wikipédia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-disabled vector-feature-custom-font-size-clientpref--excluded vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-not-available";var cookie=document.cookie.match(/(?:^|; )frwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[",\t."," \t,"],"wgDigitTransformTable":["",""], "wgDefaultDateFormat":"dmy","wgMonthNames":["","janvier","février","mars","avril","mai","juin","juillet","août","septembre","octobre","novembre","décembre"],"wgRequestId":"d64edbea-0c33-4bc4-a6de-639f79c9d1a1","wgCanonicalNamespace":"Category","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":14,"wgPageName":"Catégorie:Logique_mathématique","wgTitle":"Logique mathématique","wgCurRevisionId":119724731,"wgRevisionId":119724731,"wgArticleId":85461,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Projet:Sciences/Catégories liées","Projet:Mathématiques/Catégories liées","Logique","Fondements des mathématiques"],"wgPageViewLanguage":"fr","wgPageContentLanguage":"fr","wgPageContentModel":"wikitext","wgRelevantPageName":"Catégorie:Logique_mathématique","wgRelevantArticleId":85461,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject": "wikipedia","wgCiteReferencePreviewsActive":true,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"fr","pageLanguageDir":"ltr","pageVariantFallbacks":"fr"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":200,"wgRelatedArticlesCompat":[],"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q7020589","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles": "ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","mediawiki.action.styles":"ready","ext.categoryTree.styles":"ready","mediawiki.helplink":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","ext.tmh.player.styles":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["ext.categoryTree","site","mediawiki.page.ready","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.ArchiveLinks","ext.gadget.Wdsearch","ext.tmh.player","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface", "ext.cx.eventlogging.campaigns","wikibase.client.vector-2022","ext.checkUser.clientHints","wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=fr&modules=ext.categoryTree.styles%7Cext.tmh.player.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cmediawiki.action.styles%7Cmediawiki.helplink%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=fr&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=fr&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.5"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Catégorie:Logique mathématique — Wikipédia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//fr.m.wikipedia.org/wiki/Cat%C3%A9gorie:Logique_math%C3%A9matique"> <link rel="alternate" type="application/x-wiki" title="Modifier" href="/w/index.php?title=Cat%C3%A9gorie:Logique_math%C3%A9matique&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipédia (fr)"> <link rel="EditURI" type="application/rsd+xml" href="//fr.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://fr.wikipedia.org/wiki/Cat%C3%A9gorie:Logique_math%C3%A9matique"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr"> <link rel="alternate" type="application/atom+xml" title="Flux Atom de Wikipédia" href="/w/index.php?title=Sp%C3%A9cial:Modifications_r%C3%A9centes&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-14 ns-subject mw-editable page-Catégorie_Logique_mathématique rootpage-Catégorie_Logique_mathématique skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Aller au contenu</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Menu principal" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Menu principal</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Menu principal</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">masquer</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigation </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Accueil_principal" title="Accueil général [z]" accesskey="z"><span>Accueil</span></a></li><li id="n-thema" class="mw-list-item"><a href="/wiki/Portail:Accueil"><span>Portails thématiques</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Page_au_hasard" title="Affiche un article au hasard [x]" accesskey="x"><span>Article au hasard</span></a></li><li id="n-contact" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Contact"><span>Contact</span></a></li> </ul> </div> </div> <div id="p-Contribuer" class="vector-menu mw-portlet mw-portlet-Contribuer" > <div class="vector-menu-heading"> Contribuer </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-aboutwp" class="mw-list-item"><a href="/wiki/Aide:D%C3%A9buter"><span>Débuter sur Wikipédia</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Aide:Accueil" title="Accès à l’aide"><span>Aide</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikip%C3%A9dia:Accueil_de_la_communaut%C3%A9" title="À propos du projet, ce que vous pouvez faire, où trouver les informations"><span>Communauté</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Modifications_r%C3%A9centes" title="Liste des modifications récentes sur le wiki [r]" accesskey="r"><span>Modifications récentes</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Wikip%C3%A9dia:Accueil_principal" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipédia" src="/static/images/mobile/copyright/wikipedia-wordmark-fr.svg" style="width: 7.4375em; height: 1.125em;"> <img class="mw-logo-tagline" alt="l'encyclopédie libre" src="/static/images/mobile/copyright/wikipedia-tagline-fr.svg" width="120" height="13" style="width: 7.5em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Sp%C3%A9cial:Recherche" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Rechercher sur Wikipédia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Rechercher</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Rechercher sur Wikipédia" aria-label="Rechercher sur Wikipédia" autocapitalize="sentences" title="Rechercher sur Wikipédia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Spécial:Recherche"> </div> <button class="cdx-button cdx-search-input__end-button">Rechercher</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Outils personnels"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Apparence"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Modifier l'apparence de la taille, de la largeur et de la couleur de la police de la page" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Apparence" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Apparence</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_fr.wikipedia.org&uselang=fr" class=""><span>Faire un don</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=Cat%C3%A9gorie%3ALogique+math%C3%A9matique" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire." class=""><span>Créer un compte</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Sp%C3%A9cial:Connexion&returnto=Cat%C3%A9gorie%3ALogique+math%C3%A9matique" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o" class=""><span>Se connecter</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Plus d’options" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Outils personnels" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Outils personnels</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="Menu utilisateur" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_fr.wikipedia.org&uselang=fr"><span>Faire un don</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Cr%C3%A9er_un_compte&returnto=Cat%C3%A9gorie%3ALogique+math%C3%A9matique" title="Nous vous encourageons à créer un compte utilisateur et vous connecter ; ce n’est cependant pas obligatoire."><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Créer un compte</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Connexion&returnto=Cat%C3%A9gorie%3ALogique+math%C3%A9matique" title="Nous vous encourageons à vous connecter ; ce n’est cependant pas obligatoire. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Se connecter</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Pages pour les contributeurs déconnectés <a href="/wiki/Aide:Premiers_pas" aria-label="En savoir plus sur la contribution"><span>en savoir plus</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Mes_contributions" title="Une liste des modifications effectuées depuis cette adresse IP [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Mes_discussions" title="La page de discussion pour les contributions depuis cette adresse IP [n]" accesskey="n"><span>Discussion</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-namespace">Catégorie</span><span class="mw-page-title-separator">:</span><span class="mw-page-title-main">Logique mathématique</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="Aller à un article dans une autre langue. Disponible en 68 langues." > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-68" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">68 langues</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-af mw-list-item"><a href="https://af.wikipedia.org/wiki/Kategorie:Wiskundige_logika" title="Kategorie:Wiskundige logika – afrikaans" lang="af" hreflang="af" data-title="Kategorie:Wiskundige logika" data-language-autonym="Afrikaans" data-language-local-name="afrikaans" class="interlanguage-link-target"><span>Afrikaans</span></a></li><li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D8%AA%D8%B5%D9%86%D9%8A%D9%81:%D9%85%D9%86%D8%B7%D9%82_%D8%B1%D9%8A%D8%A7%D8%B6%D9%8A" title="تصنيف:منطق رياضي – arabe" lang="ar" hreflang="ar" data-title="تصنيف:منطق رياضي" data-language-autonym="العربية" data-language-local-name="arabe" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-az mw-list-item"><a href="https://az.wikipedia.org/wiki/Kateqoriya:Riyazi_m%C9%99ntiq" title="Kateqoriya:Riyazi məntiq – azerbaïdjanais" lang="az" hreflang="az" data-title="Kateqoriya:Riyazi məntiq" data-language-autonym="Azərbaycanca" data-language-local-name="azerbaïdjanais" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-ba mw-list-item"><a href="https://ba.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Категория:Математик логика – bachkir" lang="ba" hreflang="ba" data-title="Категория:Математик логика" data-language-autonym="Башҡортса" data-language-local-name="bachkir" class="interlanguage-link-target"><span>Башҡортса</span></a></li><li class="interlanguage-link interwiki-be mw-list-item"><a href="https://be.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D1%8D%D0%B3%D0%BE%D1%80%D1%8B%D1%8F:%D0%9C%D0%B0%D1%82%D1%8D%D0%BC%D0%B0%D1%82%D1%8B%D1%87%D0%BD%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Катэгорыя:Матэматычная логіка – biélorusse" lang="be" hreflang="be" data-title="Катэгорыя:Матэматычная логіка" data-language-autonym="Беларуская" data-language-local-name="biélorusse" class="interlanguage-link-target"><span>Беларуская</span></a></li><li class="interlanguage-link interwiki-be-x-old mw-list-item"><a href="https://be-tarask.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D1%8D%D0%B3%D0%BE%D1%80%D1%8B%D1%8F:%D0%9C%D0%B0%D1%82%D1%8D%D0%BC%D0%B0%D1%82%D1%8B%D1%87%D0%BD%D0%B0%D1%8F_%D0%BB%D1%91%D0%B3%D1%96%D0%BA%D0%B0" title="Катэгорыя:Матэматычная лёгіка – Belarusian (Taraškievica orthography)" lang="be-tarask" hreflang="be-tarask" data-title="Катэгорыя:Матэматычная лёгіка" data-language-autonym="Беларуская (тарашкевіца)" data-language-local-name="Belarusian (Taraškievica orthography)" class="interlanguage-link-target"><span>Беларуская (тарашкевіца)</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Категория:Математическа логика – bulgare" lang="bg" hreflang="bg" data-title="Категория:Математическа логика" data-language-autonym="Български" data-language-local-name="bulgare" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-bn mw-list-item"><a href="https://bn.wikipedia.org/wiki/%E0%A6%AC%E0%A6%BF%E0%A6%B7%E0%A6%AF%E0%A6%BC%E0%A6%B6%E0%A7%8D%E0%A6%B0%E0%A7%87%E0%A6%A3%E0%A7%80:%E0%A6%97%E0%A6%BE%E0%A6%A3%E0%A6%BF%E0%A6%A4%E0%A6%BF%E0%A6%95_%E0%A6%AF%E0%A7%81%E0%A6%95%E0%A7%8D%E0%A6%A4%E0%A6%BF%E0%A6%AC%E0%A6%BF%E0%A6%9C%E0%A7%8D%E0%A6%9E%E0%A6%BE%E0%A6%A8" title="বিষয়শ্রেণী:গাণিতিক যুক্তিবিজ্ঞান – bengali" lang="bn" hreflang="bn" data-title="বিষয়শ্রেণী:গাণিতিক যুক্তিবিজ্ঞান" data-language-autonym="বাংলা" data-language-local-name="bengali" class="interlanguage-link-target"><span>বাংলা</span></a></li><li class="interlanguage-link interwiki-bs mw-list-item"><a href="https://bs.wikipedia.org/wiki/Kategorija:Matemati%C4%8Dka_logika" title="Kategorija:Matematička logika – bosniaque" lang="bs" hreflang="bs" data-title="Kategorija:Matematička logika" data-language-autonym="Bosanski" data-language-local-name="bosniaque" class="interlanguage-link-target"><span>Bosanski</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Categoria:L%C3%B2gica_matem%C3%A0tica" title="Categoria:Lògica matemàtica – catalan" lang="ca" hreflang="ca" data-title="Categoria:Lògica matemàtica" data-language-autonym="Català" data-language-local-name="catalan" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-ckb mw-list-item"><a href="https://ckb.wikipedia.org/wiki/%D9%BE%DB%86%D9%84:%D9%84%DB%86%DA%98%DB%8C%DA%A9%DB%8C_%D9%85%D8%A7%D8%AA%D9%85%D8%A7%D8%AA%DB%8C%DA%A9%DB%8C" title="پۆل:لۆژیکی ماتماتیکی – sorani" lang="ckb" hreflang="ckb" data-title="پۆل:لۆژیکی ماتماتیکی" data-language-autonym="کوردی" data-language-local-name="sorani" class="interlanguage-link-target"><span>کوردی</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Kategorie:Matematick%C3%A1_logika" title="Kategorie:Matematická logika – tchèque" lang="cs" hreflang="cs" data-title="Kategorie:Matematická logika" data-language-autonym="Čeština" data-language-local-name="tchèque" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-cv mw-list-item"><a href="https://cv.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B8" title="Категори:Математика логики – tchouvache" lang="cv" hreflang="cv" data-title="Категори:Математика логики" data-language-autonym="Чӑвашла" data-language-local-name="tchouvache" class="interlanguage-link-target"><span>Чӑвашла</span></a></li><li class="interlanguage-link interwiki-cy mw-list-item"><a href="https://cy.wikipedia.org/wiki/Categori:Rhesymeg_mathemategol" title="Categori:Rhesymeg mathemategol – gallois" lang="cy" hreflang="cy" data-title="Categori:Rhesymeg mathemategol" data-language-autonym="Cymraeg" data-language-local-name="gallois" class="interlanguage-link-target"><span>Cymraeg</span></a></li><li class="interlanguage-link interwiki-da mw-list-item"><a href="https://da.wikipedia.org/wiki/Kategori:Matematisk_logik" title="Kategori:Matematisk logik – danois" lang="da" hreflang="da" data-title="Kategori:Matematisk logik" data-language-autonym="Dansk" data-language-local-name="danois" class="interlanguage-link-target"><span>Dansk</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Kategorie:Mathematische_Logik" title="Kategorie:Mathematische Logik – allemand" lang="de" hreflang="de" data-title="Kategorie:Mathematische Logik" data-language-autonym="Deutsch" data-language-local-name="allemand" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-el mw-list-item"><a href="https://el.wikipedia.org/wiki/%CE%9A%CE%B1%CF%84%CE%B7%CE%B3%CE%BF%CF%81%CE%AF%CE%B1:%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CE%AE_%CE%BB%CE%BF%CE%B3%CE%B9%CE%BA%CE%AE" title="Κατηγορία:Μαθηματική λογική – grec" lang="el" hreflang="el" data-title="Κατηγορία:Μαθηματική λογική" data-language-autonym="Ελληνικά" data-language-local-name="grec" class="interlanguage-link-target"><span>Ελληνικά</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Category:Mathematical_logic" title="Category:Mathematical logic – anglais" lang="en" hreflang="en" data-title="Category:Mathematical logic" data-language-autonym="English" data-language-local-name="anglais" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Kategorio:Matematika_logiko" title="Kategorio:Matematika logiko – espéranto" lang="eo" hreflang="eo" data-title="Kategorio:Matematika logiko" data-language-autonym="Esperanto" data-language-local-name="espéranto" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Categor%C3%ADa:L%C3%B3gica_matem%C3%A1tica" title="Categoría:Lógica matemática – espagnol" lang="es" hreflang="es" data-title="Categoría:Lógica matemática" data-language-autonym="Español" data-language-local-name="espagnol" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Kategoria:Logika_matematikoa" title="Kategoria:Logika matematikoa – basque" lang="eu" hreflang="eu" data-title="Kategoria:Logika matematikoa" data-language-autonym="Euskara" data-language-local-name="basque" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D8%B1%D8%AF%D9%87:%D9%85%D9%86%D8%B7%D9%82_%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C" title="رده:منطق ریاضی – persan" lang="fa" hreflang="fa" data-title="رده:منطق ریاضی" data-language-autonym="فارسی" data-language-local-name="persan" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Luokka:Matemaattinen_logiikka" title="Luokka:Matemaattinen logiikka – finnois" lang="fi" hreflang="fi" data-title="Luokka:Matemaattinen logiikka" data-language-autonym="Suomi" data-language-local-name="finnois" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%A7%D7%98%D7%92%D7%95%D7%A8%D7%99%D7%94:%D7%9C%D7%95%D7%92%D7%99%D7%A7%D7%94_%D7%9E%D7%AA%D7%9E%D7%98%D7%99%D7%AA" title="קטגוריה:לוגיקה מתמטית – hébreu" lang="he" hreflang="he" data-title="קטגוריה:לוגיקה מתמטית" data-language-autonym="עברית" data-language-local-name="hébreu" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-hi mw-list-item"><a href="https://hi.wikipedia.org/wiki/%E0%A4%B6%E0%A5%8D%E0%A4%B0%E0%A5%87%E0%A4%A3%E0%A5%80:%E0%A4%97%E0%A4%A3%E0%A4%BF%E0%A4%A4%E0%A5%80%E0%A4%AF_%E0%A4%A4%E0%A4%B0%E0%A5%8D%E0%A4%95" title="श्रेणी:गणितीय तर्क – hindi" lang="hi" hreflang="hi" data-title="श्रेणी:गणितीय तर्क" data-language-autonym="हिन्दी" data-language-local-name="hindi" class="interlanguage-link-target"><span>हिन्दी</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Kategorija:Matemati%C4%8Dka_logika" title="Kategorija:Matematička logika – croate" lang="hr" hreflang="hr" data-title="Kategorija:Matematička logika" data-language-autonym="Hrvatski" data-language-local-name="croate" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-hu mw-list-item"><a href="https://hu.wikipedia.org/wiki/Kateg%C3%B3ria:Matematikai_logika" title="Kategória:Matematikai logika – hongrois" lang="hu" hreflang="hu" data-title="Kategória:Matematikai logika" data-language-autonym="Magyar" data-language-local-name="hongrois" class="interlanguage-link-target"><span>Magyar</span></a></li><li class="interlanguage-link interwiki-hy mw-list-item"><a href="https://hy.wikipedia.org/wiki/%D4%BF%D5%A1%D5%BF%D5%A5%D5%A3%D5%B8%D6%80%D5%AB%D5%A1:%D5%84%D5%A1%D5%A9%D5%A5%D5%B4%D5%A1%D5%BF%D5%AB%D5%AF%D5%A1%D5%AF%D5%A1%D5%B6_%D5%BF%D6%80%D5%A1%D5%B4%D5%A1%D5%A2%D5%A1%D5%B6%D5%B8%D6%82%D5%A9%D5%B5%D5%B8%D6%82%D5%B6" title="Կատեգորիա:Մաթեմատիկական տրամաբանություն – arménien" lang="hy" hreflang="hy" data-title="Կատեգորիա:Մաթեմատիկական տրամաբանություն" data-language-autonym="Հայերեն" data-language-local-name="arménien" class="interlanguage-link-target"><span>Հայերեն</span></a></li><li class="interlanguage-link interwiki-ia mw-list-item"><a href="https://ia.wikipedia.org/wiki/Categoria:Logica_mathematic" title="Categoria:Logica mathematic – interlingua" lang="ia" hreflang="ia" data-title="Categoria:Logica mathematic" data-language-autonym="Interlingua" data-language-local-name="interlingua" class="interlanguage-link-target"><span>Interlingua</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Kategori:Logika_matematika" title="Kategori:Logika matematika – indonésien" lang="id" hreflang="id" data-title="Kategori:Logika matematika" data-language-autonym="Bahasa Indonesia" data-language-local-name="indonésien" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-is mw-list-item"><a href="https://is.wikipedia.org/wiki/Flokkur:St%C3%A6r%C3%B0fr%C3%A6%C3%B0ileg_r%C3%B6kfr%C3%A6%C3%B0i" title="Flokkur:Stærðfræðileg rökfræði – islandais" lang="is" hreflang="is" data-title="Flokkur:Stærðfræðileg rökfræði" data-language-autonym="Íslenska" data-language-local-name="islandais" class="interlanguage-link-target"><span>Íslenska</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Categoria:Logica_matematica" title="Categoria:Logica matematica – italien" lang="it" hreflang="it" data-title="Categoria:Logica matematica" data-language-autonym="Italiano" data-language-local-name="italien" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/Category:%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6" title="Category:数理論理学 – japonais" lang="ja" hreflang="ja" data-title="Category:数理論理学" data-language-autonym="日本語" data-language-local-name="japonais" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-ka mw-list-item"><a href="https://ka.wikipedia.org/wiki/%E1%83%99%E1%83%90%E1%83%A2%E1%83%94%E1%83%92%E1%83%9D%E1%83%A0%E1%83%98%E1%83%90:%E1%83%9B%E1%83%90%E1%83%97%E1%83%94%E1%83%9B%E1%83%90%E1%83%A2%E1%83%98%E1%83%99%E1%83%A3%E1%83%A0%E1%83%98_%E1%83%9A%E1%83%9D%E1%83%92%E1%83%98%E1%83%99%E1%83%90" title="კატეგორია:მათემატიკური ლოგიკა – géorgien" lang="ka" hreflang="ka" data-title="კატეგორია:მათემატიკური ლოგიკა" data-language-autonym="ქართული" data-language-local-name="géorgien" class="interlanguage-link-target"><span>ქართული</span></a></li><li class="interlanguage-link interwiki-kk mw-list-item"><a href="https://kk.wikipedia.org/wiki/%D0%A1%D0%B0%D0%BD%D0%B0%D1%82:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0%D0%BB%D1%8B%D2%9B_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Санат:Математикалық логика – kazakh" lang="kk" hreflang="kk" data-title="Санат:Математикалық логика" data-language-autonym="Қазақша" data-language-local-name="kazakh" class="interlanguage-link-target"><span>Қазақша</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EB%B6%84%EB%A5%98:%EC%88%98%EB%A6%AC%EB%85%BC%EB%A6%AC%ED%95%99" title="분류:수리논리학 – coréen" lang="ko" hreflang="ko" data-title="분류:수리논리학" data-language-autonym="한국어" data-language-local-name="coréen" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-lb mw-list-item"><a href="https://lb.wikipedia.org/wiki/Kategorie:Mathematesch_Logik" title="Kategorie:Mathematesch Logik – luxembourgeois" lang="lb" hreflang="lb" data-title="Kategorie:Mathematesch Logik" data-language-autonym="Lëtzebuergesch" data-language-local-name="luxembourgeois" class="interlanguage-link-target"><span>Lëtzebuergesch</span></a></li><li class="interlanguage-link interwiki-lmo mw-list-item"><a href="https://lmo.wikipedia.org/wiki/Categoria:Logega_matematega" title="Categoria:Logega matematega – lombard" lang="lmo" hreflang="lmo" data-title="Categoria:Logega matematega" data-language-autonym="Lombard" data-language-local-name="lombard" class="interlanguage-link-target"><span>Lombard</span></a></li><li class="interlanguage-link interwiki-lt mw-list-item"><a href="https://lt.wikipedia.org/wiki/Kategorija:Matematin%C4%97_logika" title="Kategorija:Matematinė logika – lituanien" lang="lt" hreflang="lt" data-title="Kategorija:Matematinė logika" data-language-autonym="Lietuvių" data-language-local-name="lituanien" class="interlanguage-link-target"><span>Lietuvių</span></a></li><li class="interlanguage-link interwiki-lv mw-list-item"><a href="https://lv.wikipedia.org/wiki/Kategorija:Matem%C4%81tisk%C4%81_lo%C4%A3ika" title="Kategorija:Matemātiskā loģika – letton" lang="lv" hreflang="lv" data-title="Kategorija:Matemātiskā loģika" data-language-autonym="Latviešu" data-language-local-name="letton" class="interlanguage-link-target"><span>Latviešu</span></a></li><li class="interlanguage-link interwiki-mk mw-list-item"><a href="https://mk.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%98%D0%B0:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BA%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Категорија:Математичка логика – macédonien" lang="mk" hreflang="mk" data-title="Категорија:Математичка логика" data-language-autonym="Македонски" data-language-local-name="macédonien" class="interlanguage-link-target"><span>Македонски</span></a></li><li class="interlanguage-link interwiki-mn mw-list-item"><a href="https://mn.wikipedia.org/wiki/%D0%90%D0%BD%D0%B3%D0%B8%D0%BB%D0%B0%D0%BB:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B8%D0%B9%D0%BD_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA" title="Ангилал:Математикийн логик – mongol" lang="mn" hreflang="mn" data-title="Ангилал:Математикийн логик" data-language-autonym="Монгол" data-language-local-name="mongol" class="interlanguage-link-target"><span>Монгол</span></a></li><li class="interlanguage-link interwiki-ms mw-list-item"><a href="https://ms.wikipedia.org/wiki/Kategori:Logik_matematik" title="Kategori:Logik matematik – malais" lang="ms" hreflang="ms" data-title="Kategori:Logik matematik" data-language-autonym="Bahasa Melayu" data-language-local-name="malais" class="interlanguage-link-target"><span>Bahasa Melayu</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Categorie:Wiskundige_logica" title="Categorie:Wiskundige logica – néerlandais" lang="nl" hreflang="nl" data-title="Categorie:Wiskundige logica" data-language-autonym="Nederlands" data-language-local-name="néerlandais" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-nn mw-list-item"><a href="https://nn.wikipedia.org/wiki/Kategori:Matematisk_logikk" title="Kategori:Matematisk logikk – norvégien nynorsk" lang="nn" hreflang="nn" data-title="Kategori:Matematisk logikk" data-language-autonym="Norsk nynorsk" data-language-local-name="norvégien nynorsk" class="interlanguage-link-target"><span>Norsk nynorsk</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Kategori:Matematisk_logikk" title="Kategori:Matematisk logikk – norvégien bokmål" lang="nb" hreflang="nb" data-title="Kategori:Matematisk logikk" data-language-autonym="Norsk bokmål" data-language-local-name="norvégien bokmål" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Kategoria:Logika_matematyczna" title="Kategoria:Logika matematyczna – polonais" lang="pl" hreflang="pl" data-title="Kategoria:Logika matematyczna" data-language-autonym="Polski" data-language-local-name="polonais" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-pms mw-list-item"><a href="https://pms.wikipedia.org/wiki/Categor%C3%ACa:L%C3%B2gica_matem%C3%A0tica" title="Categorìa:Lògica matemàtica – piémontais" lang="pms" hreflang="pms" data-title="Categorìa:Lògica matemàtica" data-language-autonym="Piemontèis" data-language-local-name="piémontais" class="interlanguage-link-target"><span>Piemontèis</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Categoria:L%C3%B3gica_matem%C3%A1tica" title="Categoria:Lógica matemática – portugais" lang="pt" hreflang="pt" data-title="Categoria:Lógica matemática" data-language-autonym="Português" data-language-local-name="portugais" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Categorie:Logic%C4%83_matematic%C4%83" title="Categorie:Logică matematică – roumain" lang="ro" hreflang="ro" data-title="Categorie:Logică matematică" data-language-autonym="Română" data-language-local-name="roumain" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%8F:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Категория:Математическая логика – russe" lang="ru" hreflang="ru" data-title="Категория:Математическая логика" data-language-autonym="Русский" data-language-local-name="russe" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-rue mw-list-item"><a href="https://rue.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D2%91%D0%BE%D1%80%D1%96%D1%8F:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D1%96%D1%87%D0%BD%D0%B0_%D0%BB%D0%BE%D2%91%D1%96%D0%BA%D0%B0" title="Катеґорія:Математічна лоґіка – ruthène" lang="rue" hreflang="rue" data-title="Катеґорія:Математічна лоґіка" data-language-autonym="Русиньскый" data-language-local-name="ruthène" class="interlanguage-link-target"><span>Русиньскый</span></a></li><li class="interlanguage-link interwiki-sco mw-list-item"><a href="https://sco.wikipedia.org/wiki/Category:Mathematical_logic" title="Category:Mathematical logic – écossais" lang="sco" hreflang="sco" data-title="Category:Mathematical logic" data-language-autonym="Scots" data-language-local-name="écossais" class="interlanguage-link-target"><span>Scots</span></a></li><li class="interlanguage-link interwiki-sh mw-list-item"><a href="https://sh.wikipedia.org/wiki/Kategorija:Matemati%C4%8Dka_logika" title="Kategorija:Matematička logika – serbo-croate" lang="sh" hreflang="sh" data-title="Kategorija:Matematička logika" data-language-autonym="Srpskohrvatski / српскохрватски" data-language-local-name="serbo-croate" class="interlanguage-link-target"><span>Srpskohrvatski / српскохрватски</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Kateg%C3%B3ria:Matematick%C3%A1_logika" title="Kategória:Matematická logika – slovaque" lang="sk" hreflang="sk" data-title="Kategória:Matematická logika" data-language-autonym="Slovenčina" data-language-local-name="slovaque" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sl mw-list-item"><a href="https://sl.wikipedia.org/wiki/Kategorija:Matemati%C4%8Dna_logika" title="Kategorija:Matematična logika – slovène" lang="sl" hreflang="sl" data-title="Kategorija:Matematična logika" data-language-autonym="Slovenščina" data-language-local-name="slovène" class="interlanguage-link-target"><span>Slovenščina</span></a></li><li class="interlanguage-link interwiki-sq mw-list-item"><a href="https://sq.wikipedia.org/wiki/Kategoria:Logjika_matematike" title="Kategoria:Logjika matematike – albanais" lang="sq" hreflang="sq" data-title="Kategoria:Logjika matematike" data-language-autonym="Shqip" data-language-local-name="albanais" class="interlanguage-link-target"><span>Shqip</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D0%B8%D1%98%D0%B0:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BA%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Категорија:Математичка логика – serbe" lang="sr" hreflang="sr" data-title="Категорија:Математичка логика" data-language-autonym="Српски / srpski" data-language-local-name="serbe" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Kategori:Matematisk_logik" title="Kategori:Matematisk logik – suédois" lang="sv" hreflang="sv" data-title="Kategori:Matematisk logik" data-language-autonym="Svenska" data-language-local-name="suédois" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B8%AB%E0%B8%A1%E0%B8%A7%E0%B8%94%E0%B8%AB%E0%B8%A1%E0%B8%B9%E0%B9%88:%E0%B8%84%E0%B8%93%E0%B8%B4%E0%B8%95%E0%B8%95%E0%B8%A3%E0%B8%A3%E0%B8%81%E0%B8%A8%E0%B8%B2%E0%B8%AA%E0%B8%95%E0%B8%A3%E0%B9%8C" title="หมวดหมู่:คณิตตรรกศาสตร์ – thaï" lang="th" hreflang="th" data-title="หมวดหมู่:คณิตตรรกศาสตร์" data-language-autonym="ไทย" data-language-local-name="thaï" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Kategorya:Lohika_matematika" title="Kategorya:Lohika matematika – tagalog" lang="tl" hreflang="tl" data-title="Kategorya:Lohika matematika" data-language-autonym="Tagalog" data-language-local-name="tagalog" class="interlanguage-link-target"><span>Tagalog</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Kategori:Matematiksel_mant%C4%B1k" title="Kategori:Matematiksel mantık – turc" lang="tr" hreflang="tr" data-title="Kategori:Matematiksel mantık" data-language-autonym="Türkçe" data-language-local-name="turc" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%9A%D0%B0%D1%82%D0%B5%D0%B3%D0%BE%D1%80%D1%96%D1%8F:%D0%9C%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D1%96%D0%BA%D0%B0" title="Категорія:Математична логіка – ukrainien" lang="uk" hreflang="uk" data-title="Категорія:Математична логіка" data-language-autonym="Українська" data-language-local-name="ukrainien" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-ur mw-list-item"><a href="https://ur.wikipedia.org/wiki/%D8%B2%D9%85%D8%B1%DB%81:%D9%85%D9%86%D8%B7%D9%82_%D8%B1%DB%8C%D8%A7%D8%B6%DB%8C%D8%A7%D8%AA" title="زمرہ:منطق ریاضیات – ourdou" lang="ur" hreflang="ur" data-title="زمرہ:منطق ریاضیات" data-language-autonym="اردو" data-language-local-name="ourdou" class="interlanguage-link-target"><span>اردو</span></a></li><li class="interlanguage-link interwiki-uz mw-list-item"><a href="https://uz.wikipedia.org/wiki/Turkum:Matematik_mantiq" title="Turkum:Matematik mantiq – ouzbek" lang="uz" hreflang="uz" data-title="Turkum:Matematik mantiq" data-language-autonym="Oʻzbekcha / ўзбекча" data-language-local-name="ouzbek" class="interlanguage-link-target"><span>Oʻzbekcha / ўзбекча</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/Th%E1%BB%83_lo%E1%BA%A1i:Logic_to%C3%A1n" title="Thể loại:Logic toán – vietnamien" lang="vi" hreflang="vi" data-title="Thể loại:Logic toán" data-language-autonym="Tiếng Việt" data-language-local-name="vietnamien" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/Category:%E6%95%B8%E7%90%86%E9%82%8F%E8%BC%AF" title="Category:數理邏輯 – chinois" lang="zh" hreflang="zh" data-title="Category:數理邏輯" data-language-autonym="中文" data-language-local-name="chinois" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/Category:%E6%95%B8%E5%AD%B8%E9%82%8F%E8%BC%AF" title="Category:數學邏輯 – cantonais" lang="yue" hreflang="yue" data-title="Category:數學邏輯" data-language-autonym="粵語" data-language-local-name="cantonais" class="interlanguage-link-target"><span>粵語</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q7020589#sitelinks-wikipedia" title="Modifier les liens interlangues" class="wbc-editpage">Modifier les liens</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Espaces de noms"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-category" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Cat%C3%A9gorie:Logique_math%C3%A9matique" title="Voir la page de la catégorie [c]" accesskey="c"><span>Catégorie</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Discussion_cat%C3%A9gorie:Logique_math%C3%A9matique" rel="discussion" title="Discussion au sujet de cette page de contenu [t]" accesskey="t"><span>Discussion</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Modifier la variante de langue" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">français</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Affichages"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Cat%C3%A9gorie:Logique_math%C3%A9matique"><span>Lire</span></a></li><li id="ca-ve-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Logique_math%C3%A9matique&veaction=edit" title="Modifier cette page [v]" accesskey="v"><span>Modifier</span></a></li><li id="ca-edit" class="collapsible vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Logique_math%C3%A9matique&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Logique_math%C3%A9matique&action=history" title="Historique des versions de cette page [h]" accesskey="h"><span>Voir l’historique</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Outils de la page"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Outils" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Outils</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Outils</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">masquer</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="Plus d’options" > <div class="vector-menu-heading"> Actions </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/Cat%C3%A9gorie:Logique_math%C3%A9matique"><span>Lire</span></a></li><li id="ca-more-ve-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Logique_math%C3%A9matique&veaction=edit" title="Modifier cette page [v]" accesskey="v"><span>Modifier</span></a></li><li id="ca-more-edit" class="collapsible vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Logique_math%C3%A9matique&action=edit" title="Modifier le wikicode de cette page [e]" accesskey="e"><span>Modifier le code</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Logique_math%C3%A9matique&action=history"><span>Voir l’historique</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Général </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_li%C3%A9es/Cat%C3%A9gorie:Logique_math%C3%A9matique" title="Liste des pages liées qui pointent sur celle-ci [j]" accesskey="j"><span>Pages liées</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Suivi_des_liens/Cat%C3%A9gorie:Logique_math%C3%A9matique" rel="nofollow" title="Liste des modifications récentes des pages appelées par celle-ci [k]" accesskey="k"><span>Suivi des pages liées</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/Aide:Importer_un_fichier" title="Téléverser des fichiers [u]" accesskey="u"><span>Téléverser un fichier</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Sp%C3%A9cial:Pages_sp%C3%A9ciales" title="Liste de toutes les pages spéciales [q]" accesskey="q"><span>Pages spéciales</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Logique_math%C3%A9matique&oldid=119724731" title="Adresse permanente de cette version de cette page"><span>Lien permanent</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Logique_math%C3%A9matique&action=info" title="Davantage d’informations sur cette page"><span>Informations sur la page</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:UrlShortener&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FCat%25C3%25A9gorie%3ALogique_math%25C3%25A9matique"><span>Obtenir l'URL raccourcie</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:QrCode&url=https%3A%2F%2Ffr.wikipedia.org%2Fwiki%2FCat%25C3%25A9gorie%3ALogique_math%25C3%25A9matique"><span>Télécharger le code QR</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Imprimer / exporter </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:Livre&bookcmd=book_creator&referer=Cat%C3%A9gorie%3ALogique+math%C3%A9matique"><span>Créer un livre</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Sp%C3%A9cial:DownloadAsPdf&page=Cat%C3%A9gorie%3ALogique_math%C3%A9matique&action=show-download-screen"><span>Télécharger comme PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Cat%C3%A9gorie:Logique_math%C3%A9matique&printable=yes" title="Version imprimable de cette page [p]" accesskey="p"><span>Version imprimable</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> Dans d’autres projets </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Mathematical_logic" hreflang="en"><span>Wikimedia Commons</span></a></li><li class="wb-otherproject-link wb-otherproject-wikiversity mw-list-item"><a href="https://fr.wikiversity.org/wiki/Cat%C3%A9gorie:Logique_math%C3%A9matique" hreflang="fr"><span>Wikiversité</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q7020589" title="Lien vers l’élément dans le dépôt de données connecté [g]" accesskey="g"><span>Élément Wikidata</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Outils de la page"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Apparence"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Apparence</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">déplacer vers la barre latérale</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">masquer</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> <div id="mw-indicator-mw-helplink" class="mw-indicator"><a href="/wiki/Aide:Cat%C3%A9gorie" target="_blank" class="mw-helplink"><span class="mw-helplink-icon"></span>Aide</a></div> </div> <div id="siteSub" class="noprint">Une page de Wikipédia, l'encyclopédie libre.</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="fr" dir="ltr"><div class="bandeau-container bandeau-section metadata bandeau-niveau-information"><div class="bandeau-cell bandeau-icone-css general">Article principal : <a href="/wiki/Logique_math%C3%A9matique" title="Logique mathématique">Logique mathématique</a>.</div></div> <table class="bandeau-categorie" width="100%" border="0" cellspacing="0" cellpadding="0" style="clear:both; margin:-0.5em 0 -0.5em 0; border:none; background-color:transparent; color:inherit; padding:0"> <tbody><tr valign="top"> <td width="50%"> <div class="cadre_portail" style="clear: both; margin: 0.5em 0 0.5em 0; border-width: 1px; border-style: solid; border-color:#AAAAAA; background-color: var(--couleur-fond-boite-grise, #f9f9f9); color: var(--color-emphasized, #000000); line-height: 1.25"> <table width="100%" rules="none" border="0" cellspacing="0" cellpadding="2" style=""> <tbody><tr> <td style="padding-right:3px"><span typeof="mw:File"><a href="/wiki/Fichier:BandeauPortailLogiqueSmall.png" class="mw-file-description"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/8/89/BandeauPortailLogiqueSmall.png/35px-BandeauPortailLogiqueSmall.png" decoding="async" width="35" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/8/89/BandeauPortailLogiqueSmall.png 1.5x" data-file-width="46" data-file-height="32" /></a></span></td> <td width="100%"><b><a href="/wiki/Portail:Logique/Arborescence" title="Portail:Logique/Arborescence">Arborescence de la logique</a></b> <span class="plainlinks"><small><a rel="nofollow" class="external text" href="http://toolserver.org/~dapete/catgraph/graph.php?wiki=wikipedia&lang=fr&d=10&format=png&links=wiki&sub=0&cat=Logique_math%C3%A9matique">↑</a> · <a rel="nofollow" class="external text" href="http://toolserver.org/~dapete/catgraph/graph.php?wiki=wikipedia&lang=fr&d=10&format=png&links=wiki&sub=1&cat=Logique_math%C3%A9matique">↓</a></small></span><br /><div class="liste-horizontale" style="font-size: 0.83em; line-height: 1.2em; font-weight:bold;"> <ul><li><a href="/wiki/Cat%C3%A9gorie:Logique" title="Catégorie:Logique">Catégorie mère</a></li> <li><a href="/wiki/Projet:Logique" title="Projet:Logique">Projet</a></li> <li><a href="/wiki/Portail:Logique" title="Portail:Logique">Portail</a></li> <li><a href="/wiki/Discussion_Projet:Logique" title="Discussion Projet:Logique">Café</a></li></ul> </div></td> </tr></tbody></table></div></td> <td width="8" style="padding-left:8px"></td> <td width="50%"><div class="cadre_portail" style="clear: both; margin: 0.5em 0 0.5em 0; border-width: 1px; border-style: solid; border-color:#AAAAAA; background-color: var(--couleur-fond-boite-grise, #f9f9f9); color: var(--color-emphasized, #000000); line-height: 1.25"> <table width="100%" rules="none" border="0" cellspacing="0" cellpadding="2" style=""> <tbody><tr> <td style="padding-right:3px"><span class="skin-invert-image" typeof="mw:File"><a href="/wiki/Fichier:Racine_carr%C3%A9e_bleue.svg" class="mw-file-description"><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/24px-Racine_carr%C3%A9e_bleue.svg.png" decoding="async" width="24" height="24" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/36px-Racine_carr%C3%A9e_bleue.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/48px-Racine_carr%C3%A9e_bleue.svg.png 2x" data-file-width="128" data-file-height="128" /></a></span></td> <td width="100%"><b><a href="/wiki/Projet:Math%C3%A9matiques/Arborescence" title="Projet:Mathématiques/Arborescence">Arborescence des mathématiques</a></b> <span class="plainlinks"><small><a rel="nofollow" class="external text" href="http://toolserver.org/~dapete/catgraph/graph.php?wiki=wikipedia&lang=fr&d=10&format=png&links=wiki&sub=0&cat=Logique_math%C3%A9matique">↑</a> · <a rel="nofollow" class="external text" href="http://toolserver.org/~dapete/catgraph/graph.php?wiki=wikipedia&lang=fr&d=10&format=png&links=wiki&sub=1&cat=Logique_math%C3%A9matique">↓</a></small></span><br /><div class="liste-horizontale" style="font-size: 0.83em; line-height: 1.2em; font-weight:bold;"> <ul><li><a href="/wiki/Cat%C3%A9gorie:Math%C3%A9matiques" title="Catégorie:Mathématiques">Catégorie mère</a></li> <li><a href="/wiki/Projet:Math%C3%A9matiques" title="Projet:Mathématiques">Projet</a></li> <li><a href="/wiki/Portail:Math%C3%A9matiques" title="Portail:Mathématiques">Portail</a></li> <li><a href="/wiki/Projet:Math%C3%A9matiques/Le_Th%C3%A9" title="Projet:Mathématiques/Le Thé">Café</a></li></ul> </div></td> </tr></tbody></table></div></td> </tr> </tbody></table>    </div><div class="mw-category-generated" lang="fr" dir="ltr"><div id="mw-subcategories"> <h2>Sous-catégories</h2> <p>Cette catégorie comprend les 17 sous-catégories suivantes. </p> <div class="bandeau-container metadata bandeau-simple bandeau-niveau-neutre mw-toolbox categoryarticlecount-box"><div class="bandeau-cell bandeau-icone-css grosse-icone maintenance" style="display:table-cell;padding-right:0.5em"> <div class="CategoryTools liste-horizontale"><b>Outils :</b> <ul><li><a href="/wiki/Sp%C3%A9cial:ArbreCat%C3%A9gorie/Logique_math%C3%A9matique" title="Spécial:ArbreCatégorie/Logique mathématique">Arborescence</a></li> <li><a class="external text" href="//vcat.toolforge.org/render?wiki=frwiki&category=Logique_math%C3%A9matique">Graphique</a></li> <li><a href="/wiki/Sp%C3%A9cial:Recherche/incategory:%22Logique_math%C3%A9matique%22" title="Spécial:Recherche/incategory:"Logique mathématique"">Recherche interne</a></li> <li><a rel="nofollow" class="external text" href="//petscan.wmflabs.org/?language=fr&project=wikipedia&depth=3&categories=Logique_math%C3%A9matique&interface_language=fr">PetScan</a></li> <li><a href="/wiki/Sp%C3%A9cial:Suivi_des_liens/Cat%C3%A9gorie:Logique_math%C3%A9matique" title="Spécial:Suivi des liens/Catégorie:Logique mathématique">Suivi</a></li></ul> </div> </div></div><div lang="fr" dir="ltr" class="mw-content-ltr"><div class="mw-category mw-category-columns"><div class="mw-category-group"><h3>A</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Analyse_non_standard" title="Catégorie:Analyse non standard">Analyse non standard</a></bdi> <span title="contient 0 sous-catégorie, 7 pages et 0 fichier" dir="ltr">– 7 P</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Axiome" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Axiome" title="Catégorie:Axiome">Axiome</a></bdi> <span title="contient 3 sous-catégories, 11 pages et 0 fichier" dir="ltr">– 11 P • 3 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>C</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Calculabilité" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Calculabilit%C3%A9" title="Catégorie:Calculabilité">Calculabilité</a></bdi> <span title="contient 4 sous-catégories, 119 pages et 0 fichier" dir="ltr">– 119 P • 4 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>D</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Théorie_de_la_démonstration" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9orie_de_la_d%C3%A9monstration" title="Catégorie:Théorie de la démonstration">Théorie de la démonstration</a></bdi> <span title="contient 2 sous-catégories, 63 pages et 0 fichier" dir="ltr">– 63 P • 2 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>I</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Intuitionnisme" title="Catégorie:Intuitionnisme">Intuitionnisme</a></bdi> <span title="contient 0 sous-catégorie, 15 pages et 0 fichier" dir="ltr">– 15 P</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>L</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Langage_formel" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Langage_formel" title="Catégorie:Langage formel">Langage formel</a></bdi> <span title="contient 1 sous-catégorie, 113 pages et 0 fichier" dir="ltr">– 113 P • 1 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Personnalité_en_logique_mathématique" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Personnalit%C3%A9_en_logique_math%C3%A9matique" title="Catégorie:Personnalité en logique mathématique">Personnalité en logique mathématique</a></bdi> <span title="contient 4 sous-catégories, 57 pages et 0 fichier" dir="ltr">– 57 P • 4 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Logique_modale" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Logique_modale" title="Catégorie:Logique modale">Logique modale</a></bdi> <span title="contient 1 sous-catégorie, 34 pages et 0 fichier" dir="ltr">– 34 P • 1 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Logique_propositionnelle" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Logique_propositionnelle" title="Catégorie:Logique propositionnelle">Logique propositionnelle</a></bdi> <span title="contient 1 sous-catégorie, 12 pages et 0 fichier" dir="ltr">– 12 P • 1 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>R</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Raisonnement_mathématique" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Raisonnement_math%C3%A9matique" title="Catégorie:Raisonnement mathématique">Raisonnement mathématique</a></bdi> <span title="contient 1 sous-catégorie, 37 pages et 0 fichier" dir="ltr">– 37 P • 1 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:R%C3%A9duction_de_probl%C3%A8me" title="Catégorie:Réduction de problème">Réduction de problème</a></bdi> <span title="contient 0 sous-catégorie, 1 page et 0 fichier" dir="ltr">– 1 P</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Relation_(mathématiques)" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Relation_(math%C3%A9matiques)" title="Catégorie:Relation (mathématiques)">Relation (mathématiques)</a></bdi> <span title="contient 1 sous-catégorie, 6 pages et 0 fichier" dir="ltr">– 6 P • 1 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Relation_transitive" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Relation_transitive" title="Catégorie:Relation transitive">Relation transitive</a></bdi> <span title="contient 1 sous-catégorie, 1 page et 0 fichier" dir="ltr">– 1 P • 1 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div><div class="mw-category-group"><h3>T</h3> <ul><li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeEmptyBullet"></span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9or%C3%A8me_de_logique_math%C3%A9matique" title="Catégorie:Théorème de logique mathématique">Théorème de logique mathématique</a></bdi> <span title="contient 0 sous-catégorie, 22 pages et 0 fichier" dir="ltr">– 22 P</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Théorie_des_automates" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9orie_des_automates" title="Catégorie:Théorie des automates">Théorie des automates</a></bdi> <span title="contient 2 sous-catégories, 67 pages et 0 fichier" dir="ltr">– 67 P • 2 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Théorie_des_ensembles" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9orie_des_ensembles" title="Catégorie:Théorie des ensembles">Théorie des ensembles</a></bdi> <span title="contient 11 sous-catégories, 143 pages et 0 fichier" dir="ltr">– 143 P • 11 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li> <li><div class="CategoryTreeSection"><div class="CategoryTreeItem"><span class="CategoryTreeBullet"><a class="CategoryTreeToggle" data-ct-title="Théorie_des_modèles" aria-expanded="false"></a> </span> <bdi dir="ltr"><a href="/wiki/Cat%C3%A9gorie:Th%C3%A9orie_des_mod%C3%A8les" title="Catégorie:Théorie des modèles">Théorie des modèles</a></bdi> <span title="contient 2 sous-catégories, 32 pages et 0 fichier" dir="ltr">– 32 P • 2 C</span></div><div class="CategoryTreeChildren" style="display:none"></div></div></li></ul></div></div></div> </div><div id="mw-pages"> <h2>Pages dans la catégorie « Logique mathématique »</h2> <p>Cette catégorie contient les 178 pages suivantes. </p> <div class="bandeau-container metadata bandeau-simple bandeau-niveau-neutre mw-toolbox categoryarticlecount-box"><div class="bandeau-cell bandeau-icone-css grosse-icone maintenance" style="display:table-cell;padding-right:0.5em"> <div class="CategoryTools liste-horizontale"><b>Outils :</b> <ul><li><a href="/wiki/Sp%C3%A9cial:ArbreCat%C3%A9gorie/Logique_math%C3%A9matique" title="Spécial:ArbreCatégorie/Logique mathématique">Arborescence</a></li> <li><a class="external text" href="//vcat.toolforge.org/render?wiki=frwiki&category=Logique_math%C3%A9matique">Graphique</a></li> <li><a href="/wiki/Sp%C3%A9cial:Recherche/incategory:%22Logique_math%C3%A9matique%22" title="Spécial:Recherche/incategory:"Logique mathématique"">Recherche interne</a></li> <li><a rel="nofollow" class="external text" href="//petscan.wmflabs.org/?language=fr&project=wikipedia&depth=3&categories=Logique_math%C3%A9matique&interface_language=fr">PetScan</a></li> <li><a href="/wiki/Sp%C3%A9cial:Suivi_des_liens/Cat%C3%A9gorie:Logique_math%C3%A9matique" title="Spécial:Suivi des liens/Catégorie:Logique mathématique">Suivi</a></li></ul> </div> </div></div><div lang="fr" dir="ltr" class="mw-content-ltr"><div class="mw-category mw-category-columns"><div class="mw-category-group"><h3>*</h3> <ul><li><a href="/wiki/Formule_logique" title="Formule logique">Formule logique</a></li> <li><a href="/wiki/Logique_et_raisonnement_math%C3%A9matique" title="Logique et raisonnement mathématique">Logique et raisonnement mathématique</a></li> <li><a href="/wiki/Logique_formelle" title="Logique formelle">Logique formelle</a></li> <li><a href="/wiki/Logique_math%C3%A9matique" title="Logique mathématique">Logique mathématique</a></li></ul></div><div class="mw-category-group"><h3>A</h3> <ul><li><a href="/wiki/Alg%C3%A8bre_de_Heyting" title="Algèbre de Heyting">Algèbre de Heyting</a></li> <li><a href="/wiki/Alg%C3%A8bre_des_termes" title="Algèbre des termes">Algèbre des termes</a></li> <li><a href="/wiki/Analyse_de_la_complexit%C3%A9_des_algorithmes" title="Analyse de la complexité des algorithmes">Analyse de la complexité des algorithmes</a></li> <li><a href="/wiki/Anti-unification" title="Anti-unification">Anti-unification</a></li> <li><a href="/wiki/Arit%C3%A9" title="Arité">Arité</a></li> <li><a href="/wiki/Arithm%C3%A9tique_de_Presburger" title="Arithmétique de Presburger">Arithmétique de Presburger</a></li> <li><a href="/wiki/Arithm%C3%A9tique_de_Robinson" title="Arithmétique de Robinson">Arithmétique de Robinson</a></li> <li><a href="/wiki/Arithm%C3%A9tique_du_second_ordre" title="Arithmétique du second ordre">Arithmétique du second ordre</a></li> <li><a href="/wiki/Arithm%C3%A9tique_vraie" title="Arithmétique vraie">Arithmétique vraie</a></li> <li><a href="/wiki/Astuce_de_Rosser" title="Astuce de Rosser">Astuce de Rosser</a></li> <li><a href="/wiki/Axiome_logique" title="Axiome logique">Axiome logique</a></li> <li><a href="/wiki/Axiomes_de_Hilbert" title="Axiomes de Hilbert">Axiomes de Hilbert</a></li></ul></div><div class="mw-category-group"><h3>C</h3> <ul><li><a href="/wiki/Calcul_des_constructions" title="Calcul des constructions">Calcul des constructions</a></li> <li><a href="/wiki/Calcul_des_pr%C3%A9dicats" title="Calcul des prédicats">Calcul des prédicats</a></li> <li><a href="/wiki/Calcul_des_propositions" title="Calcul des propositions">Calcul des propositions</a></li> <li><span class="redirect-in-category"><a href="/wiki/Calcul_des_relations" class="mw-redirect" title="Calcul des relations">Calcul des relations</a></span></li> <li><a href="/wiki/Calcul_des_s%C3%A9quents" title="Calcul des séquents">Calcul des séquents</a></li> <li><a href="/wiki/Circuit_bool%C3%A9en" title="Circuit booléen">Circuit booléen</a></li> <li><a href="/wiki/Classe_de_Bernays-Sch%C3%B6nfinkel" title="Classe de Bernays-Schönfinkel">Classe de Bernays-Schönfinkel</a></li> <li><a href="/wiki/Codage_de_G%C3%B6del" title="Codage de Gödel">Codage de Gödel</a></li> <li><a href="/wiki/Compl%C3%A9tude_(logique)" title="Complétude (logique)">Complétude (logique)</a></li> <li><span class="redirect-in-category"><a href="/wiki/Complexit%C3%A9_pseudo-polynomiale" class="mw-redirect" title="Complexité pseudo-polynomiale">Complexité pseudo-polynomiale</a></span></li> <li><a href="/wiki/Condition_de_cha%C3%AEne_d%C3%A9nombrable" title="Condition de chaîne dénombrable">Condition de chaîne dénombrable</a></li> <li><a href="/wiki/Continuation_(informatique)" title="Continuation (informatique)">Continuation (informatique)</a></li> <li><a href="/wiki/Contradiction_performative" title="Contradiction performative">Contradiction performative</a></li> <li><a href="/wiki/Correspondance_de_Curry-Howard" title="Correspondance de Curry-Howard">Correspondance de Curry-Howard</a></li> <li><a href="/wiki/Curryfication" title="Curryfication">Curryfication</a></li></ul></div><div class="mw-category-group"><h3>D</h3> <ul><li><a href="/wiki/D%C3%A9cidabilit%C3%A9" title="Décidabilité">Décidabilité</a></li> <li><a href="/wiki/D%C3%A9duction_naturelle" title="Déduction naturelle">Déduction naturelle</a></li> <li><a href="/wiki/D%C3%A9monstration_constructive" title="Démonstration constructive">Démonstration constructive</a></li> <li><a href="/wiki/Diagramme_(logique_math%C3%A9matique)" title="Diagramme (logique mathématique)">Diagramme (logique mathématique)</a></li> <li><a href="/wiki/Diagrammes_d%27Euler,_de_Venn_et_de_Carroll" title="Diagrammes d'Euler, de Venn et de Carroll">Diagrammes d'Euler, de Venn et de Carroll</a></li> <li><a href="/wiki/Dilemme_destructif" title="Dilemme destructif">Dilemme destructif</a></li> <li><a href="/wiki/Diophantien" title="Diophantien">Diophantien</a></li> <li><a href="/wiki/Dixi%C3%A8me_probl%C3%A8me_de_Hilbert" title="Dixième problème de Hilbert">Dixième problème de Hilbert</a></li></ul></div><div class="mw-category-group"><h3>E</h3> <ul><li><a href="/wiki/%C3%89limination_des_quantificateurs" title="Élimination des quantificateurs">Élimination des quantificateurs</a></li> <li><a href="/wiki/Ensemble_r%C3%A9cursif" title="Ensemble récursif">Ensemble récursif</a></li> <li><a href="/wiki/%C3%89quivalence_%C3%A9l%C3%A9mentaire" title="Équivalence élémentaire">Équivalence élémentaire</a></li> <li><a href="/wiki/%C3%89valuation_paresseuse" title="Évaluation paresseuse">Évaluation paresseuse</a></li></ul></div><div class="mw-category-group"><h3>F</h3> <ul><li><a href="/wiki/Fonction_successeur" title="Fonction successeur">Fonction successeur</a></li> <li><a href="/wiki/Forcing" title="Forcing">Forcing</a></li> <li><a href="/wiki/Forme_normale_n%C3%A9gative_d%C3%A9composable" title="Forme normale négative décomposable">Forme normale négative décomposable</a></li> <li><a href="/wiki/Forme_pr%C3%A9nexe" title="Forme prénexe">Forme prénexe</a></li> <li><a href="/wiki/Formule_(math%C3%A9matiques)" title="Formule (mathématiques)">Formule (mathématiques)</a></li> <li><a href="/wiki/Formule_atomique" title="Formule atomique">Formule atomique</a></li> <li><a href="/wiki/Fragment_(logique)" title="Fragment (logique)">Fragment (logique)</a></li></ul></div><div class="mw-category-group"><h3>G</h3> <ul><li><a href="/wiki/G%C3%A9om%C3%A9trie_synth%C3%A9tique" title="Géométrie synthétique">Géométrie synthétique</a></li> <li><a href="/wiki/Graphe_conceptuel" title="Graphe conceptuel">Graphe conceptuel</a></li> <li><a href="/wiki/Graphe_logique" title="Graphe logique">Graphe logique</a></li> <li><a href="/wiki/Grundlagen_der_Mathematik" title="Grundlagen der Mathematik">Grundlagen der Mathematik</a></li></ul></div><div class="mw-category-group"><h3>H</h3> <ul><li><a href="/wiki/Hi%C3%A9rarchie_analytique" title="Hiérarchie analytique">Hiérarchie analytique</a></li> <li><a href="/wiki/Hi%C3%A9rarchie_arithm%C3%A9tique" title="Hiérarchie arithmétique">Hiérarchie arithmétique</a></li> <li><a href="/wiki/Hi%C3%A9rarchie_polynomiale" title="Hiérarchie polynomiale">Hiérarchie polynomiale</a></li> <li><a href="/wiki/Horn-satisfiabilit%C3%A9" title="Horn-satisfiabilité">Horn-satisfiabilité</a></li> <li><a href="/wiki/Hypercalcul" title="Hypercalcul">Hypercalcul</a></li> <li><a href="/wiki/Hypoth%C3%A8se_du_monde_clos" title="Hypothèse du monde clos">Hypothèse du monde clos</a></li></ul></div><div class="mw-category-group"><h3>I</h3> <ul><li><a href="/wiki/Implication_stricte" title="Implication stricte">Implication stricte</a></li> <li><a href="/wiki/Impr%C3%A9dicativit%C3%A9" title="Imprédicativité">Imprédicativité</a></li> <li><a href="/wiki/Induction_structurelle" title="Induction structurelle">Induction structurelle</a></li> <li><a href="/wiki/Information_partielle_lin%C3%A9aire" title="Information partielle linéaire">Information partielle linéaire</a></li></ul></div><div class="mw-category-group"><h3>L</h3> <ul><li><a href="/wiki/Logique_contextuelle" title="Logique contextuelle">Logique contextuelle</a></li> <li><a href="/wiki/Langage_creux" title="Langage creux">Langage creux</a></li> <li><a href="/wiki/Langage_math%C3%A9matique" title="Langage mathématique">Langage mathématique</a></li> <li><a href="/wiki/Langage_rationnel" title="Langage rationnel">Langage rationnel</a></li> <li><a href="/wiki/Langage_sans_%C3%A9toile" title="Langage sans étoile">Langage sans étoile</a></li> <li><a href="/wiki/Lemme_(math%C3%A9matiques)" title="Lemme (mathématiques)">Lemme (mathématiques)</a></li> <li><a href="/wiki/Lemme_de_K%C3%B6nig" title="Lemme de König">Lemme de König</a></li> <li><a href="/wiki/Lemme_de_Newman" title="Lemme de Newman">Lemme de Newman</a></li> <li><a href="/wiki/Liste_de_symboles_logiques" title="Liste de symboles logiques">Liste de symboles logiques</a></li> <li><a href="/wiki/Liste_de_syst%C3%A8mes_logiques" title="Liste de systèmes logiques">Liste de systèmes logiques</a></li> <li><a href="/wiki/Litt%C3%A9ral_(logique)" title="Littéral (logique)">Littéral (logique)</a></li> <li><a href="/wiki/Logicomix" title="Logicomix">Logicomix</a></li> <li><a href="/wiki/Logique_alg%C3%A9brique" title="Logique algébrique">Logique algébrique</a></li> <li><a href="/wiki/Logique_argumentative" title="Logique argumentative">Logique argumentative</a></li> <li><a href="/wiki/Logique_classique" title="Logique classique">Logique classique</a></li> <li><a href="/wiki/Logique_combinatoire" title="Logique combinatoire">Logique combinatoire</a></li> <li><a href="/wiki/Logique_d%27ordre_sup%C3%A9rieur" title="Logique d'ordre supérieur">Logique d'ordre supérieur</a></li> <li><a href="/wiki/Logique_d%C3%A9faisable" title="Logique défaisable">Logique défaisable</a></li> <li><a href="/wiki/Logique_du_dialogue" title="Logique du dialogue">Logique du dialogue</a></li> <li><a href="/wiki/Logique_%C3%A9pist%C3%A9mique" title="Logique épistémique">Logique épistémique</a></li> <li><a href="/wiki/Logique_intuitionniste" title="Logique intuitionniste">Logique intuitionniste</a></li> <li><a href="/wiki/Logique_lin%C3%A9aire" title="Logique linéaire">Logique linéaire</a></li> <li><a href="/wiki/Logique_minimale" title="Logique minimale">Logique minimale</a></li> <li><a href="/wiki/Logique_monadique_du_premier_ordre" title="Logique monadique du premier ordre">Logique monadique du premier ordre</a></li> <li><span class="redirect-in-category"><a href="/wiki/Logique_propositionnelle" class="mw-redirect" title="Logique propositionnelle">Logique propositionnelle</a></span></li> <li><a href="/wiki/Logique_ternaire" title="Logique ternaire">Logique ternaire</a></li> <li><a href="/wiki/Logiques_sous-structurelles" title="Logiques sous-structurelles">Logiques sous-structurelles</a></li> <li><a href="/wiki/Loi_de_Peirce" title="Loi de Peirce">Loi de Peirce</a></li> <li><a href="/wiki/Lois_de_De_Morgan" title="Lois de De Morgan">Lois de De Morgan</a></li></ul></div><div class="mw-category-group"><h3>M</h3> <ul><li><a href="/wiki/Machine_de_Blum-Shub-Smale" title="Machine de Blum-Shub-Smale">Machine de Blum-Shub-Smale</a></li> <li><a href="/wiki/Machine_de_Krivine" title="Machine de Krivine">Machine de Krivine</a></li> <li><a href="/wiki/Machine_de_Turing" title="Machine de Turing">Machine de Turing</a></li> <li><a href="/wiki/Machine_SECD" title="Machine SECD">Machine SECD</a></li> <li><a href="/wiki/Math%C3%A9matiques_%C3%A0_rebours" title="Mathématiques à rebours">Mathématiques à rebours</a></li> <li><a href="/wiki/Math%C3%A9matiques_classiques" title="Mathématiques classiques">Mathématiques classiques</a></li> <li><a href="/wiki/M%C3%A9r%C3%A9ologie" title="Méréologie">Méréologie</a></li> <li><a href="/wiki/M%C3%A9talogique" title="Métalogique">Métalogique</a></li> <li><a href="/wiki/M%C3%A9thode_d%27automorphisme" title="Méthode d'automorphisme">Méthode d'automorphisme</a></li> <li><a href="/wiki/M%C3%A9thode_des_tableaux" title="Méthode des tableaux">Méthode des tableaux</a></li> <li><a href="/wiki/Modus_ponens" title="Modus ponens">Modus ponens</a></li></ul></div><div class="mw-category-group"><h3>N</h3> <ul><li><a href="/wiki/N%C3%A9gation_logique" title="Négation logique">Négation logique</a></li> <li><a href="/wiki/New_Foundations" title="New Foundations">New Foundations</a></li> <li><a href="/wiki/Nombre_de_Dedekind" title="Nombre de Dedekind">Nombre de Dedekind</a></li> <li><a href="/wiki/Notation_(math%C3%A9matiques)" title="Notation (mathématiques)">Notation (mathématiques)</a></li> <li><a href="/wiki/Notre_Dame_Journal_of_Formal_Logic" title="Notre Dame Journal of Formal Logic">Notre Dame Journal of Formal Logic</a></li></ul></div><div class="mw-category-group"><h3>P</h3> <ul><li><a href="/wiki/Paire_critique" title="Paire critique">Paire critique</a></li> <li><a href="/wiki/Paradoxe_du_menteur" title="Paradoxe du menteur">Paradoxe du menteur</a></li> <li><a href="/wiki/Postulat" title="Postulat">Postulat</a></li> <li><a href="/wiki/Pr%C3%A9condition" title="Précondition">Précondition</a></li> <li><a href="/wiki/Pr%C3%A9dicat_(logique_math%C3%A9matique)" title="Prédicat (logique mathématique)">Prédicat (logique mathématique)</a></li> <li><a href="/wiki/Preuve_d%27impossibilit%C3%A9" title="Preuve d'impossibilité">Preuve d'impossibilité</a></li> <li><a href="/wiki/Preuves,_Programmes_et_Syst%C3%A8mes" title="Preuves, Programmes et Systèmes">Preuves, Programmes et Systèmes</a></li> <li><a href="/wiki/Principe_d%27explosion" title="Principe d'explosion">Principe d'explosion</a></li> <li><a href="/wiki/Principe_de_Markov" title="Principe de Markov">Principe de Markov</a></li> <li><a href="/wiki/Probl%C3%A8me_de_la_d%C3%A9cision" title="Problème de la décision">Problème de la décision</a></li></ul></div><div class="mw-category-group"><h3>Q</h3> <ul><li><a href="/wiki/Quantification_(logique)" title="Quantification (logique)">Quantification (logique)</a></li> <li><a href="/wiki/Quantification_existentielle" title="Quantification existentielle">Quantification existentielle</a></li></ul></div><div class="mw-category-group"><h3>R</h3> <ul><li><a href="/wiki/R%C3%A9currence_transfinie" title="Récurrence transfinie">Récurrence transfinie</a></li> <li><a href="/wiki/R%C3%A9duction_polynomiale" title="Réduction polynomiale">Réduction polynomiale</a></li> <li><a href="/wiki/R%C3%A9%C3%A9criture_(informatique)" title="Réécriture (informatique)">Réécriture (informatique)</a></li> <li><a href="/wiki/R%C3%A8gle_d%27%C3%A9limination_(logique)" title="Règle d'élimination (logique)">Règle d'élimination (logique)</a></li> <li><a href="/wiki/R%C3%A8gle_d%27introduction_(logique)" title="Règle d'introduction (logique)">Règle d'introduction (logique)</a></li> <li><a href="/wiki/R%C3%A8gle_de_coupure" title="Règle de coupure">Règle de coupure</a></li> <li><a href="/wiki/R%C3%A8gle_de_r%C3%A9solution" title="Règle de résolution">Règle de résolution</a></li> <li><a href="/wiki/R%C3%A9seau_de_preuves" title="Réseau de preuves">Réseau de preuves</a></li> <li><a href="/wiki/R%C3%A9vision_des_croyances" title="Révision des croyances">Révision des croyances</a></li></ul></div><div class="mw-category-group"><h3>S</h3> <ul><li><a href="/wiki/Satisfaisabilit%C3%A9" title="Satisfaisabilité">Satisfaisabilité</a></li> <li><a href="/wiki/S%C3%A9mantique_alg%C3%A9brique_(logique_math%C3%A9matique)" title="Sémantique algébrique (logique mathématique)">Sémantique algébrique (logique mathématique)</a></li> <li><a href="/wiki/S%C3%A9mantique_de_Kripke" title="Sémantique de Kripke">Sémantique de Kripke</a></li> <li><a href="/wiki/S%C3%A9mantique_formelle_(logique)" title="Sémantique formelle (logique)">Sémantique formelle (logique)</a></li> <li><a href="/wiki/Skol%C3%A9misation" title="Skolémisation">Skolémisation</a></li> <li><a href="/wiki/Strat%C3%A9gie_d%27%C3%A9valuation_(informatique)" title="Stratégie d'évaluation (informatique)">Stratégie d'évaluation (informatique)</a></li> <li><a href="/wiki/Structuralisme_(philosophie_des_math%C3%A9matiques)" title="Structuralisme (philosophie des mathématiques)">Structuralisme (philosophie des mathématiques)</a></li> <li><a href="/wiki/Structure_de_Herbrand" title="Structure de Herbrand">Structure de Herbrand</a></li> <li><a href="/wiki/Style_de_Fitch_pour_la_d%C3%A9duction_naturelle" title="Style de Fitch pour la déduction naturelle">Style de Fitch pour la déduction naturelle</a></li> <li><a href="/wiki/Syntaxe_transcendantale" title="Syntaxe transcendantale">Syntaxe transcendantale</a></li> <li><a href="/wiki/Syst%C3%A8me_%C3%A0_la_Hilbert" title="Système à la Hilbert">Système à la Hilbert</a></li> <li><a href="/wiki/Syst%C3%A8me_F" title="Système F">Système F</a></li> <li><a href="/wiki/Syst%C3%A8me_formel" title="Système formel">Système formel</a></li></ul></div><div class="mw-category-group"><h3>T</h3> <ul><li><a href="/wiki/Table_de_v%C3%A9rit%C3%A9" title="Table de vérité">Table de vérité</a></li> <li><a href="/wiki/Taquet_(symbole)" title="Taquet (symbole)">Taquet (symbole)</a></li> <li><a href="/wiki/Terme_(logique)" title="Terme (logique)">Terme (logique)</a></li> <li><a href="/wiki/T%C3%A9tralemme" title="Tétralemme">Tétralemme</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_d%27%C3%A9limination_des_coupures" title="Théorème d'élimination des coupures">Théorème d'élimination des coupures</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_d%27inconsistance_de_Kunen" title="Théorème d'inconsistance de Kunen">Théorème d'inconsistance de Kunen</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_de_Cook" title="Théorème de Cook">Théorème de Cook</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_de_d%C3%A9finissabilit%C3%A9_de_Beth" title="Théorème de définissabilité de Beth">Théorème de définissabilité de Beth</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_de_Diaconescu" title="Théorème de Diaconescu">Théorème de Diaconescu</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_de_Mahaney" title="Théorème de Mahaney">Théorème de Mahaney</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_de_Post" title="Théorème de Post">Théorème de Post</a></li> <li><a href="/wiki/Th%C3%A9or%C3%A8me_de_Rice" title="Théorème de Rice">Théorème de Rice</a></li> <li><a href="/wiki/Th%C3%A9orie_axiomatique" title="Théorie axiomatique">Théorie axiomatique</a></li> <li><a href="/wiki/Th%C3%A9orie_compl%C3%A8te" title="Théorie complète">Théorie complète</a></li> <li><a href="/wiki/Th%C3%A9orie_de_la_calculabilit%C3%A9" title="Théorie de la calculabilité">Théorie de la calculabilité</a></li> <li><a href="/wiki/Complexit%C3%A9_implicite" title="Complexité implicite">Complexité implicite</a></li> <li><a href="/wiki/Th%C3%A9orie_de_la_complexit%C3%A9_(informatique_th%C3%A9orique)" title="Théorie de la complexité (informatique théorique)">Théorie de la complexité (informatique théorique)</a></li> <li><a href="/wiki/Th%C3%A9orie_de_la_d%C3%A9monstration" title="Théorie de la démonstration">Théorie de la démonstration</a></li> <li><a href="/wiki/Th%C3%A9orie_des_ensembles" title="Théorie des ensembles">Théorie des ensembles</a></li> <li><a href="/wiki/Th%C3%A9orie_des_ensembles_non_bien_fond%C3%A9s" title="Théorie des ensembles non bien fondés">Théorie des ensembles non bien fondés</a></li> <li><a href="/wiki/Th%C3%A9orie_existentielle_sur_les_r%C3%A9els" title="Théorie existentielle sur les réels">Théorie existentielle sur les réels</a></li> <li><a href="/wiki/Th%C3%A9orie_mod%C3%A8le-compl%C3%A8te" title="Théorie modèle-complète">Théorie modèle-complète</a></li> <li><a href="/wiki/Th%C3%A9orie_om%C3%A9ga-coh%C3%A9rente" title="Théorie oméga-cohérente">Théorie oméga-cohérente</a></li> <li><a href="/wiki/Th%C3%A8se_de_Church_(math%C3%A9matiques_constructives)" title="Thèse de Church (mathématiques constructives)">Thèse de Church (mathématiques constructives)</a></li> <li><a href="/wiki/Topos_(math%C3%A9matiques)" title="Topos (mathématiques)">Topos (mathématiques)</a></li> <li><a href="/wiki/Transformation_de_Tseitin" title="Transformation de Tseitin">Transformation de Tseitin</a></li> <li><a href="/wiki/Transposition_(logique)" title="Transposition (logique)">Transposition (logique)</a></li> <li><a href="/wiki/Turing-complet" title="Turing-complet">Turing-complet</a></li> <li><a href="/wiki/Type_d%C3%A9pendant" title="Type dépendant">Type dépendant</a></li></ul></div><div class="mw-category-group"><h3>U</h3> <ul><li><a href="/wiki/Unification" title="Unification">Unification</a></li> <li><a href="/wiki/Univers_(logique)" title="Univers (logique)">Univers (logique)</a></li> <li><a href="/wiki/Univers_du_discours" title="Univers du discours">Univers du discours</a></li> <li><a href="/wiki/Unzerlegbarkeit" title="Unzerlegbarkeit">Unzerlegbarkeit</a></li></ul></div><div class="mw-category-group"><h3>V</h3> <ul><li><a href="/wiki/Valeur_de_v%C3%A9rit%C3%A9" title="Valeur de vérité">Valeur de vérité</a></li> <li><a href="/wiki/Variable_libre" title="Variable libre">Variable libre</a></li></ul></div></div></div> </div></div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1&useformat=desktop" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Ce document provient de « <a dir="ltr" href="https://fr.wikipedia.org/w/index.php?title=Catégorie:Logique_mathématique&oldid=119724731">https://fr.wikipedia.org/w/index.php?title=Catégorie:Logique_mathématique&oldid=119724731</a> ».</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Cat%C3%A9gorie:Accueil" title="Catégorie:Accueil">Catégories</a> : <ul><li><a href="/wiki/Cat%C3%A9gorie:Logique" title="Catégorie:Logique">Logique</a></li><li><a href="/wiki/Cat%C3%A9gorie:Fondements_des_math%C3%A9matiques" title="Catégorie:Fondements des mathématiques">Fondements des mathématiques</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-ns-shown">Catégories cachées : <ul><li><a href="/wiki/Cat%C3%A9gorie:Projet:Sciences/Cat%C3%A9gories_li%C3%A9es" title="Catégorie:Projet:Sciences/Catégories liées">Projet:Sciences/Catégories liées</a></li><li><a href="/wiki/Cat%C3%A9gorie:Projet:Math%C3%A9matiques/Cat%C3%A9gories_li%C3%A9es" title="Catégorie:Projet:Mathématiques/Catégories liées">Projet:Mathématiques/Catégories liées</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> La dernière modification de cette page a été faite le 22 octobre 2015 à 18:03.</li> <li id="footer-info-copyright"><span style="white-space: normal"><a href="/wiki/Wikip%C3%A9dia:Citation_et_r%C3%A9utilisation_du_contenu_de_Wikip%C3%A9dia" title="Wikipédia:Citation et réutilisation du contenu de Wikipédia">Droit d'auteur</a> : les textes sont disponibles sous <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.fr">licence Creative Commons attribution, partage dans les mêmes conditions</a> ; d’autres conditions peuvent s’appliquer. Voyez les <a class="external text" href="https://foundation.wikimedia.org/wiki/Policy:Terms_of_Use/fr">conditions d’utilisation</a> pour plus de détails, ainsi que les <a href="/wiki/Wikip%C3%A9dia:Cr%C3%A9dits_graphiques" title="Wikipédia:Crédits graphiques">crédits graphiques</a>. <br /> Wikipedia® est une marque déposée de la <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, organisation de bienfaisance régie par le paragraphe <a href="/wiki/501c" title="501c">501(c)(3)</a> du code fiscal des États-Unis.</span><br /></li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy/fr">Politique de confidentialité</a></li> <li id="footer-places-about"><a href="/wiki/Wikip%C3%A9dia:%C3%80_propos_de_Wikip%C3%A9dia">À propos de Wikipédia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikip%C3%A9dia:Avertissements_g%C3%A9n%C3%A9raux">Avertissements</a></li> <li id="footer-places-contact"><a href="//fr.wikipedia.org/wiki/Wikipédia:Contact">Contact</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code de conduite</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Développeurs</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/fr.wikipedia.org">Statistiques</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Déclaration sur les témoins (cookies)</a></li> <li id="footer-places-mobileview"><a href="//fr.m.wikipedia.org/w/index.php?title=Cat%C3%A9gorie:Logique_math%C3%A9matique&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Version mobile</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-7fc47fc68d-cddrx","wgBackendResponseTime":304,"wgPageParseReport":{"limitreport":{"cputime":"0.038","walltime":"0.062","ppvisitednodes":{"value":205,"limit":1000000},"postexpandincludesize":{"value":17291,"limit":2097152},"templateargumentsize":{"value":1640,"limit":2097152},"expansiondepth":{"value":11,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":0,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 46.098 1 -total"," 54.05% 24.917 1 Modèle:Article_principal"," 49.19% 22.675 1 Modèle:Méta_bandeau_de_section"," 45.79% 21.110 1 Modèle:Multi_bandeau"," 31.29% 14.422 1 Modèle:Catégorie_logique"," 16.23% 7.480 2 Modèle:Méta_lien_catégories"," 7.05% 3.248 1 Modèle:Catégorie_mathématiques"," 5.95% 2.742 2 Modèle:Liste_horizontale"," 3.54% 1.631 2 Modèle:CGraph"]},"scribunto":{"limitreport-timeusage":{"value":"0.005","limit":"10.000"},"limitreport-memusage":{"value":633230,"limit":52428800}},"cachereport":{"origin":"mw-web.eqiad.main-6f4956b788-cfrjn","timestamp":"20241128145635","ttl":2592000,"transientcontent":false}}});});</script> </body> </html>