Home > Terms > French, Canadian (CF) > exhaustivité
exhaustivité
Une langue (logique) est censée être complète si et seulement si toutes les formules dans la langue qui doit être true (dans n'importe quel monde dans lesquelles les axiomes de la langue sont remplies) peuvent être prouvées à partir des axiomes. Le théorème d'incomplétude de Gödel montre que n'importe quelle langue dans laquelle on peuvent formuler les vérités de l'arithmétique de base ne peut être complet (à moins que le nombre d'axiomes est infini).
- Part of Speech: noun
- Synonym(s):
- Blossary:
- Industry/Domain: Philosophy
- Category: General philosophy
- Company:
- Product:
- Acronym-Abbreviation:
Other Languages:
Member comments
Terms in the News
Billy Morgan
Sports; Snowboarding
Surfeur britannique Billy Morgan a atterri à Liège de quadruple tout d'abord jamais 1800 de ce sport. Le coureur, qui a représenté la Grande-Bretagne aux Olympiques d'hiver 2014 à Sotchi, était à Livigno, en Italie, lorsqu'il atteint la manœuvre. Il s'agit de retournement quatre fois, tandis que le corps tourne aussi cinq rotations complètes sur un axe sur le côté ...
Marzieh Afkham
Broadcasting & receiving; News
Marzieh Afkham, qui est le premier porte-parole de ministère des affaires étrangères du pays, dirigera une mission en Asie de l'est, l'Agence de presse d'État. Il n'est pas clair à quel pays elle est affichée dès sa nomination n'a pas encore annoncé officiellement. Afkham seulement sera la deuxième femme Ambassadeur Iran a eu. En vertu de la règle ...
Paquet hebdomadaire
Language; Online services; Slang; Internet
Le paquet hebdomadaire, ou « Paquete Semanal » comme on l'appelle à Cuba, est un terme utilisé par les Cubains pour décrire les informations collectées à partir d'Internet à l'extérieur de Cuba et sauvegardées sur des disques durs qui sont ensuite transportés vers Cuba. Les paquets hebdomadaires sont alors vendus aux Cubains qui n'ont pas accès à Internet, leur ...
Asian Infrastructure Investment Bank (AIIB)
Banking; Investment banking
La Banque asiatique d'investissement Infrastructure (AIIB) est une institution financière internationale mis en place pour répondre aux besoins en Asie pour le développement de l'infrastructure. Selon la Banque asiatique de développement, l'Asie a besoin de $ 800 milliards chaque année pour les routes, de ports, de centrales électriques ou d'autres projets ...
Spartiate
Online services; Internet
Spartan est le nom de code donné au nouveau navigateur de Microsoft Windows 10 qui va remplacer Microsoft Windows Internet Explorer. Le nouveau navigateur sera construit par rapport au sol et ne pas tenir compte de n'importe quel code de la plate-forme de l'IE. Il a un nouveau moteur de rendu qui est conçu pour être compatible avec la façon dont le ...
Featured Terms
Barrage des trois Gorges
Le barrage des trois Gorges est actuellement le plus grand barrage hydroélectrique du monde. Profondeur de l'eau dans le réservoir long de 300 ...
Contributor
Featured blossaries
jchathura
0
Terms
3
Blossaries
0
Followers
Sri Lankan Traditional paintings
Browers Terms By Category
- Radiology equipment(1356)
- OBGYN equipment(397)
- Cardiac supplies(297)
- Clinical trials(199)
- Ultrasonic & optical equipment(61)
- Physical therapy equipment(42)
Medical devices(2427) Terms
- Hats & caps(21)
- Scarves(8)
- Gloves & mittens(8)
- Hair accessories(6)
Fashion accessories(43) Terms
- General art history(577)
- Visual arts(575)
- Renaissance(22)
Art history(1174) Terms
- Air conditioners(327)
- Water heaters(114)
- Washing machines & dryers(69)
- Vacuum cleaners(64)
- Coffee makers(41)
- Cooking appliances(5)
Household appliances(624) Terms
- Contracts(640)
- Home improvement(270)
- Mortgage(171)
- Residential(37)
- Corporate(35)
- Commercial(31)