000			020860000a22006130004500
001			3752
005			20251118152226.0
010			_a2-7056-5941-2 _d13.72Eur
090			_a3752
100			_a20150504 frey50
101			_afre
105			_aa jq 000yy
200			_aMéthode axiomatique et formalisme _eEssai sur le problème du fondement des mathématiques _fCAVAILLES Jean _gIntrod. de Jean-Toussaint Desanti ; Préf. de Henri Cartan _bLIVR
210			_aParis _cHermann _d1981
215			_a196 p.
320			_aBibliogr.p.184-191
320			_aIndex p.192-194
330			_aLe problème posé par la crise de la théorie des ensembles. - Axiomatisations et formalisations au dix-neuvième siècle. - La méthode axiomatique. - Définition d'un système formel en général. - Le formalisme hilbertien et l'analyse. - les démonstrations de non-contradiction
345			_aDon IFC
600			_aAckermann _xMéthode de valuation
600			_aBorel _xEmpirisme
600			_aBrouwer _xIntuitionnisme
600			_aDedekind
600			_aDesargues _xThéorème de
600			_aDescartes _xEtendue
600			_aFrege
600			_aGentzen
600			_aGodel _xThéorème de
600			_aGrassmann
600			_aHankel
600			_aHerbrand _xThéorème de
600			_aHilbert
600			_aKant _xSchématisme _xIntuition spatiale
600			_aLebesgue _xNommable
600			_aLeibniz _xPanlogisme
600			_aLoewenheim Skolem _xThéorème de
600			_aPasch _xGéométrie projective
600			_aRussell
600			_aVon Neumann
606			_aAxiomatisation
606			_aAxiome
606			_aCalcul Desarguien
606			_aContinu
606			_aFORMALISME
606			_aMéthode axiomatique
606			_aValuation _xMéthode de
608			_aEPISTEMOLOGIE
610			_aEPISTEMOLOGIE
610			_aHISTOIRE DES MATHEMATIQUES
700	1		_aCavaillès _bJean _4070
702	1		_aCartan _bHenri _cPréf.
702	1		_aDesanti _bJean-Toussaint _cIntrod.
801			_aTN _bBIB.CEC _c20030530 _gUNIMARC