« Précis d'épistémologie/Les fondements des mathématiques » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
|||
Ligne 1 :
Les mathématiques, ou la mathématique, peuvent être définies comme la science de tout ce qui est logiquement possible, tous les êtres et tous les concepts qui peuvent être étudiés dans une théorie. Pour qu'un être mathématique existe, il suffit qu'une théorie détermine correctement son existence, on ne demande pas qu'il existe dans la réalité tangible et observable.
La logique du premier ordre donne les moyens de faire des théories avec un nombre fini de concepts fondamentaux appliqués à un domaine, fini ou non, d'individus. Pour raisonner avec les principes de la logique du premier ordre sur tous les concepts qu'on peut appliquer aux individus d'un domaine spécifié, il suffit de considérer les concepts (les propriétés et les relations) comme de nouveaux individus et de se donner une nouvelle relation d'attribution, qui relie les
== Les nombres naturels et les axiomes de Peano ==
|