Subject		Posts	Last Post
	Table de vérité (3907 views)   (Pages: 1 2 3) by RIKI	113	11/10/2021 05:04PM Last Post by raoul.S
	I0 (encore lui) (286 views) by Martial	9	11/10/2021 10:48AM Last Post by Martial
	My book (380 views) by Martial	11	11/07/2021 09:08AM Last Post by Martial
	Prouver que 2 + 2 = 5 (813 views) by marc 1	19	11/06/2021 11:00PM Last Post by Dom
	Qu'est ce que l'analyse non-standard? (388 views) by AlainLyon	7	11/06/2021 10:07PM Last Post by christophe c
	Cardinaux m-géants et ultrafiltres (Dehornoy) (246 views) by FrançoisD	12	11/05/2021 09:40AM Last Post by Martial
	Mise à jour chap 25 (703 views) by Martial	10	11/05/2021 09:38AM Last Post by Martial
	Logique linéaire (833 views) by serge burckel	22	11/03/2021 04:05PM Last Post by marco
	Théorie catégories, propriétés universelles (4129 views)   (Pages: 1 2 3) by Julia Paule	89	10/31/2021 11:29PM Last Post by flipflop
	Modus ponens et implication (221 views) by geo	3	10/29/2021 01:08PM Last Post by geo
	Logique et relativité (37639 views)   (Pages: 1 2 3 4) by christophe c	145	10/27/2021 11:56PM Last Post by raoul.S
	Colimites préservées par les isom. naturels (221 views) by Maru	3	10/26/2021 12:35AM Last Post by Maru
	Modèles et catégories de modèles (91 views) by ignatus	1	10/25/2021 12:51PM Last Post by ignatus
	Exercice de logique (76 views) by simohamed		This topic has been moved.
	Formalisme de la théorie des types (589 views) by Chat-maths	8	10/20/2021 12:08AM Last Post by Alesha
	Cardinaux high-jump (637 views) by Martial	10	10/17/2021 09:31AM Last Post by Martial
	Pour que P il faut que Q (551 views) by Nivlem	7	10/12/2021 05:53PM Last Post by PetitLutinMalicieux
	Produit vide (5190 views)   (Pages: 1 2 3) by Homo Topi	92	10/11/2021 06:58PM Last Post by GaBuZoMeu
	Faut-il presser le bouton qui détruit tout ? (65 views) by grothenbiete		This topic has been moved.
	Vers l’infini et au-delà (22776 views)   (Pages: 1 ... 7 8 9) by Sneg	347	10/10/2021 01:31PM Last Post by gerard0
	Démonstration triviale (1629 views) by Pavel Gorofsky	22	10/08/2021 06:08PM Last Post by Martial
	Idéaux $\omega_2$ saturés (327 views) by Martial	5	10/08/2021 06:04PM Last Post by Martial
	Encadrement et irationnalité d'un nombre (1077 views) by fatiboud	16	10/05/2021 09:05PM Last Post by Georges Abitbol
	Théorie des catégories pour ingénieurs ? (1357 views) by Wazzi	20	10/05/2021 08:46AM Last Post by physicius
	Vidéos de cours sur les catégories (394 views) by ignatus	4	10/03/2021 12:03PM Last Post by ignatus
	Conséquences de AD (1232 views) by Martial	17	10/03/2021 11:18AM Last Post by Martial
	Deux hypothèses (1572 views) by Sneg	25	10/01/2021 06:21PM Last Post by PetitLutinMalicieux
	Ensembles dans la théorie des ensembles (1323 views) by Julia Paule	22	10/01/2021 04:59PM Last Post by Julia Paule
	Application qui transporte une loi (906 views) by Julia Paule	15	09/30/2021 03:11PM Last Post by Julia Paule
	Récurrence généralisée (974 views) by mehdi	15	09/30/2021 12:59PM Last Post by Palabra
	Schéma de consistance axiomes théorie ens. (897 views) by AlainLyon	12	09/28/2021 08:43AM Last Post by Rescassol
	Résolution du paradoxe de l’interrogation(V2) (897 views) by Desi14	11	09/25/2021 06:40PM Last Post by Desi14
	"Il est facile de" 2 (833807 views)   (Pages: 1 ... 33 34 35) by christophe c	1,380	09/25/2021 04:21PM Last Post by christophe c
	Différence de définition (2285 views) by Endomorphisme	35	09/24/2021 08:09PM Last Post by Médiat
	Produit vide d'espaces vectoriels (656 views) by topopot	10	09/24/2021 12:27PM Last Post by Thierry Poma
	Axiomes de la notion d'ensemble. (9 views) by Pablo_de_retour		This topic has been moved.
	Livre de J.F. Pabion (2700 views) by Jean-Louis	13	09/20/2021 06:40PM Last Post by Jean-Louis
	Recherche d'un exemple intéressant (597 views) by Piotr	7	09/20/2021 01:27PM Last Post by Piotr
	Sur les structures locales (0 views) by Thierry Poma		This topic has been moved.
	Démonstrations qui ne se terminent pas. (75 views) by Pablo_de_retour		This topic has been moved.
	Écriture d'un couple d'applications (706 views) by Julia Paule	10	09/17/2021 11:47AM Last Post by Julia Paule
	Inconsistance de ZF, avis des spécialistes ? (2159 views) by Georges Abitbol	22	09/17/2021 11:03AM Last Post by Martial
	Petite justification ensembliste (1881 views) by topopot	29	09/17/2021 03:41AM Last Post by GG
	Zéro-dièze (614 views) by Martial	7	09/14/2021 10:05AM Last Post by Martial
	Variables d'après la logique combinatoire (1482 views) by Foys	19	09/11/2021 11:06AM Last Post by Foys
	Des cours à distance... (764 views) by Thierry Poma	8	09/09/2021 11:03PM Last Post by Martial
	Abréviation w.r.t. (395 views) by Martial	4	09/09/2021 08:55AM Last Post by Martial
	Question sur les catégories (4064 views)   (Pages: 1 2) by topopot	51	09/09/2021 08:04AM Last Post by Julia Paule
	Majorant d'une limite inductive (547 views) by mehdi	7	09/08/2021 09:32AM Last Post by mehdi
	Hiérarchie des ordinaux ? (2696 views)   (Pages: 1 2) by Homo Topi	43	09/07/2021 06:14PM Last Post by Poirot
	Théories des ensembles (1312 views) by Jean-Louis	18	09/07/2021 05:17PM Last Post by Milamber
	Vidéo et présentation de "Toposes online" (496 views) by umrk	3	09/06/2021 09:07PM Last Post by Dreamer
	Définition d'une application/fonction (441 views) by Ignotus	5	09/06/2021 01:50PM Last Post by Thierry Poma
	Théorème d'Ehrenfeucht-Mostowski (679 views) by Martial	10	09/06/2021 12:18PM Last Post by Martial
	Mot "type" dans la théorie des ensembles (2844 views)   (Pages: 1 2) by Julia Paule	44	09/06/2021 08:37AM Last Post by Julia Paule
	Qu'est-ce qu'une démonstration ? (438 views) by Foys	3	09/05/2021 03:52PM Last Post by Dreamer
	Langage ensembliste de base avec définitions. (2847 views) by Foys	25	09/05/2021 01:07PM Last Post by Thierry Poma
	Vision platonicienne des mathématiques ? (21711 views)   (Pages: 1 ... 4 5 6) by umrk	212	09/03/2021 08:03PM Last Post by umrk
	Bon ordre sur $\R$ (4045 views)   (Pages: 1 2) by Jean-Louis	55	09/02/2021 02:27PM Last Post by Poirot
	Chap 25 (193 views) by Martial	1	09/01/2021 07:05PM Last Post by Martial
	Applications entre ensembles (1577 views) by Julia Paule	19	09/01/2021 11:22AM Last Post by jared94
	Logique et arithmétique (392 views) by xax	5	08/30/2021 11:00PM Last Post by xax
	Axiome du choix (380 views) by Pablo_de_retour	3	08/30/2021 02:22PM Last Post by Pablo_de_retour
	Petite question sur la théorie des ensembles (3853 views)   (Pages: 1 2) by Julia Paule	60	08/29/2021 02:34PM Last Post by raoul.S