« Précis d'épistémologie/Principes logiques » : différence entre les versions

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))''' ...