En mathématique ,ctest }I intuition qui donne l a compréhension. La logi·- que permet une ~i se en forme .. et un .90ntrôl~ de l' intui tian (certa1ns ré ~· -sultats intuitifs sont faux ! ) pour const1::uiro à l 'infini de nouveaux objets mathématiques et pour conduire les ::caison:.'1ements.<br>La théori e des ensembles peut être rédi ~ ée dans un langage convention- nel dit formalis 6.<br>De façon scht5matiqu8 t le principe d ' u.."1.c c onstruct i on fonnalisée et axiomatique de cette t héorie est le suivant On se donne un petit nomhr? dt: s if:T1es l ogiques et de: ~ègles permettant d'écrire des ass('mblaces ; on en distin~n e deux sorte.:; : les .term.E., ( exemple ~ ensembJ.e) Jet 1 '~8 :~i.l_~_~_iy.ns. r (?'p.rése:ntant les asserti ons que l' on peut faire SUT des (l b,i ~ ts pour en exp:-:-i."'ller les proprié t éa .<br>Puis on se donne dl3 ::i rè :::::l~s a.ppelées ,rè,gl es de logique formel le permet- tant de construire d ~ Ilci.\velles relations etc • •• On adme ttra que t..çmte rele. ti()n ~s t v:::.alf. ou .f.~,H~s.§...<br>Pour l a noticn.de vérité mathématique , on adopte t out d'abord quelques axiomes , c' est-à·-dire quelques re;.atiO!l3 considérées comme vraies par ~ypothèse. Ensuite tune démonsb.~ation per.r.e t d 'en déduire IOl5iquement d'autres relations VIa Les ,norr..:nées théc,r~mcs ( ou propositions ,lemmes, corollaires, etc..................
