01:45 - "Or, la LOGIQUE DU PREMIER ORDRE ne Suffit pas// à Décrire L'ENSEMBLE// des Mathématiques." Je vois là une possibilité de CLASSEMENT des Mathématiques selon le Critère Discriminatoire : - DÉCRITE OU NON PAR LA LOGIQUE DU PREMIER ORDRE Cela a-t-il déjà été fait à votre connaissance ? Et Quelles Mathématiques mettriez-vous vous-même dans chacun de ces deux ensembles ? S'il vous plaît. Respectueusement, Didier
01:27 - "un Système NON-CONTRADICTOIRE à TOUJOURS un MODÈLE NON-CONTRADICTOIRE mais UNIQUEMENT// en Théorie Du 1er Ordre." Cette Affirmation peut-elle pas vouloir dire 2 choses différentes : Que si le Système (d'Axiomes selon ma compréhension) est NON-CONTRADICTOIRE, alors : 1. IL EXISTE UN UNIQUE MODÈLE DE LA THÉORIE ET IL EST LUI-MÊME NON-CONTRADICTOIRE EN LOGIQUE DU PREMIER ORDRE 2. IL PEUT EXISTER D'AUTRES MODÈLES DE LA THÉORIE MAIS UN SEUL EST NON CONTRADICTOIRE EN LOGIQUE DU PREMIER ORDRE ? :p
Je ne pense pas qu'on dise qu'il y en ai "un seul" seulement "il en existe" un ou plutôt pour utiliser ce qu'il dit "il y en a "au moins un qui est non contradictoire
01:45 - "Or, la LOGIQUE DU PREMIER ORDRE ne Suffit pas// à Décrire L'ENSEMBLE// des Mathématiques."
Je vois là une possibilité de CLASSEMENT des Mathématiques selon le Critère Discriminatoire :
- DÉCRITE OU NON PAR LA LOGIQUE DU PREMIER ORDRE
Cela a-t-il déjà été fait à votre connaissance ? Et
Quelles Mathématiques mettriez-vous vous-même dans chacun de ces deux ensembles ?
S'il vous plaît.
Respectueusement,
Didier
00:55 - "Une POSSIBILITÉ ne Suffit Pas//, pour en Tirer une EXISTENCE. Même en Mathématiques, L'EXISTENCE n'est pas// Réductible aux POSSIBLES."
01:27 - "un Système NON-CONTRADICTOIRE à TOUJOURS un MODÈLE NON-CONTRADICTOIRE mais UNIQUEMENT// en Théorie Du 1er Ordre."
Cette Affirmation peut-elle pas vouloir dire 2 choses différentes :
Que si le Système (d'Axiomes selon ma compréhension) est NON-CONTRADICTOIRE, alors :
1. IL EXISTE UN UNIQUE MODÈLE DE LA THÉORIE ET IL EST LUI-MÊME NON-CONTRADICTOIRE EN LOGIQUE DU PREMIER ORDRE
2. IL PEUT EXISTER D'AUTRES MODÈLES DE LA THÉORIE MAIS UN SEUL EST NON CONTRADICTOIRE EN LOGIQUE DU PREMIER ORDRE
? :p
Je ne pense pas qu'on dise qu'il y en ai "un seul" seulement "il en existe" un ou plutôt pour utiliser ce qu'il dit "il y en a "au moins un qui est non contradictoire