Différences entre les versions de « Précis d'épistémologie/Principes logiques »

(→‎Le savoir mathématique : compléments)
* Les constructions par récurrence
 
On se donne des éléments initiaux et des règles qui permettent d'engendrer de nouveaux éléments à partir des éléments initiaux ou d'éléments déjà engendrés. Par exemple, on peut partir de l'unique élément initial '''1''' et se donner pour règle d'engendrer '''(x+y)''' à partir de '''x''' et '''y'''. L'ensemble infini est alors défini en disant que c'est l'unique ensemble qui contient tous les éléments initiaux et tous les éléments engendrés par un nombre fini d'applications des règles: '''(1+1)''', '''((1+1)+1)''', '''((1+1)+(1+1))''' ...
 
* La définition de l'ensemble de tous les sous-ensembles
4 741

modifications