An inaccessible cardinal $\kappa$ is supercompact when $(\kappa, \lambda)$-ITP holds for all $\lambda\geq \kappa$. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC where for every $n\geq 2$ and $\mu\geq \aleph_n$, we have $(\aleph_n, \mu)$-ITP.

An inaccessible cardinal κ is supercompact when (κ, λ)-ITP holds for all λ ≥ κ. We prove that if there is a model of ZFC with two supercompact cardinals, then there is a model of ZFC where simultaneously \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(\aleph_2, \mu)}$$\end{document} -ITP and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(\aleph_3, \mu')}$$\end{document} -ITP hold, for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu\geq \aleph_2}$$\end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} (...) \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mu'\geq \aleph_3}$$\end{document}. (shrink)

Un problème fondamental dans la réflexion sur les fondements des mathématiques consiste à déterminer ce qu’est un axiome. Cette question est spécialement importante en vue de l’étude de nouveaux axiomes pour la théorie des ensembles dont la légitimité est fortement controversée ; cet article s’insère dans le débat. En analysant les écrits de Poincaré et de Hilbert, nous observons que, malgré les différences profondes dans la pensée de ces deux logiciens, ils parvinrent à la même conception des axiomes de la (...) géométrie qui ne seraient que des définitions déguisées. Nous généralisons cette conception des axiomes comme définitions de concepts à n’importe quel système axiomatique. (shrink)

Un problème fondamental dans la réflexion sur les fondements des mathématiques consiste à déterminer ce qu’est un axiome. Cette question est spécialement importante en vue de l’étude de nouveaux axiomes pour la théorie des ensembles (tels que les axiomes de grands cardinaux) dont la légitimité est fortement controversée ; cet article s’insère dans le débat. En analysant les écrits de Poincaré et de Hilbert, nous observons que, malgré les différences profondes dans la pensée de ces deux logiciens, ils parvinrent à (...) la même conception des axiomes de la géométrie qui ne seraient que des définitions déguisées. Nous généralisons cette conception des axiomes comme définitions de concepts à n’importe quel système axiomatique (en particulier aux axiomes de la théorie des ensembles). (shrink)