Accueil
›
Martial
›
Discussions
Martial
À propos…
Pseudo
Martial
Inscrit
November 2010
Visites
2,578
Dernière connexion
16 Feb
Statuts
Member
Niveau
Master 2
Etablissement
IUT Sarcelles (désormais retraité)
Profession
Prof de math/info en IUT
Concours
Agrégé
Ville
Sarcelles
Identité
Martial LEROY
Activité
Discussions
207
Réponses
2.7K
Discussions
Loi de Peirce
93
vues
3
réponses
0
points
Dernier message par
Martial
26 Jan
Fondements et Logique
Un scoop à propos du lemme de Zorn
244
vues
4
réponses
0
points
Dernier message par
Renart
25 Jan
Fondements et Logique
Index historique
129
vues
6
réponses
0
points
Dernier message par
Martial
23 Jan
LaTeX
Une citation célèbre
726
vues
21
réponses
0
points
Dernier message par
umrk
August 2024
Fondements et Logique
Morse-Kelley vs modèles standard
201
vues
11
réponses
0
points
Dernier message par
Martial
May 2024
Fondements et Logique
Sets of sets
276
vues
5
réponses
0
points
Dernier message par
Foys
January 2024
Fondements et Logique
Syntaxe avec array
174
vues
5
réponses
0
points
Dernier message par
[Utilisateur supprimé]
November 2023
LaTeX
Labellisation d'un théorème
136
vues
2
réponses
0
points
Dernier message par
Martial
October 2023
LaTeX
Ultrapuissance et complétude
295
vues
24
réponses
0
points
Dernier message par
Martial
September 2023
Fondements et Logique
My book
4.6K
vues
207
réponses
0
points
Dernier message par
Martial
July 2023
Fondements et Logique
Z n'est pas finiment axiomatisable
235
vues
7
réponses
0
points
Dernier message par
Martial
July 2023
Fondements et Logique
La fonction d'Ackermann
270
vues
10
réponses
0
points
Dernier message par
Thierry Poma
May 2023
Fondements et Logique
Un théorème de Lindström
86
vues
2
réponses
0
points
Dernier message par
Martial
April 2023
Fondements et Logique
La théorie de Feferman
111
vues
6
réponses
0
points
Dernier message par
Foys
March 2023
Fondements et Logique
Cardinaux inaccessibles
254
vues
8
réponses
0
points
Dernier message par
Foys
March 2023
Fondements et Logique
La consistance de ZFA
188
vues
10
réponses
0
points
Dernier message par
Martial
February 2023
Fondements et Logique
Le symbole \precsim
222
vues
12
réponses
0
points
Dernier message par
Martial
February 2023
LaTeX
Perspective multiverse et notation
119
vues
2
réponses
0
points
Dernier message par
Martial
February 2023
Fondements et Logique
Anti-fondation et graphes extensionnels
155
vues
15
réponses
0
points
Dernier message par
Martial
January 2023
Fondements et Logique
Graphes orientés simples
163
vues
11
réponses
0
points
Dernier message par
Martial
January 2023
LaTeX
Théorie alternative des ensembles de Vopenka
355
vues
26
réponses
0
points
Dernier message par
raoul.S
January 2023
Fondements et Logique
Égalité avec un gros point au-dessus
121
vues
5
réponses
0
points
Dernier message par
Martial
December 2022
LaTeX
Un problème de traduction
83
vues
2
réponses
0
points
Dernier message par
Martial
November 2022
Fondements et Logique
Caractères gras
71
vues
2
réponses
0
points
Dernier message par
Martial
November 2022
LaTeX
Théorème de Los
105
vues
2
réponses
0
points
Dernier message par
Martial
November 2022
Fondements et Logique
ANS et séries alternées
193
vues
11
réponses
0
points
Dernier message par
Martial
October 2022
Fondements et Logique
Nombres transcendants et ANS
143
vues
6
réponses
0
points
Dernier message par
Martial
October 2022
Fondements et Logique
ANS et continuité
108
vues
2
réponses
0
points
Dernier message par
Martial
October 2022
Fondements et Logique
Union ensembliste
118
vues
7
réponses
0
points
Dernier message par
Martial
September 2022
LaTeX
La topologie de Vietoris
320
vues
16
réponses
0
points
Dernier message par
Thierry Poma
August 2022
Fondements et Logique
La théorie d'Helen Skala
183
vues
6
réponses
0
points
Dernier message par
Martial
August 2022
Fondements et Logique
Un problème avec NF
178
vues
3
réponses
0
points
Dernier message par
Martial
August 2022
Fondements et Logique
Un peu de platonisme
213
vues
16
réponses
0
points
Dernier message par
Martial
July 2022
Fondements et Logique
"Intuistionistic Set Theory" IZF
696
vues
63
réponses
0
points
Dernier message par
Martial
June 2022
Fondements et Logique
Automorphisme externe de l'univers
266
vues
12
réponses
0
points
Dernier message par
Martial
June 2022
Fondements et Logique
La théorie de Morse-Kelley
186
vues
4
réponses
0
points
Dernier message par
Martial
April 2022
Fondements et Logique
Un théorème de Zermelo
267
vues
19
réponses
0
points
Dernier message par
Georges Abitbol
December 2021
Fondements et Logique
I0 (encore lui)
387
vues
9
réponses
0
points
Dernier message par
Martial
November 2021
Fondements et Logique
Test
361
vues
46
réponses
0
points
Dernier message par
marsup
November 2021
Fondements et Logique
Mise à jour chap 25
734
vues
8
réponses
0
points
Dernier message par
Martial
November 2021
Fondements et Logique
Autres conversations
Activité
Discussions
207
Réponses
2.7K
Bonjour!
Pour participer au forum, cliquer sur l'un des boutons :
Connexion
S'inscrire
Français