发布于 2024-03-02
« Sur imprédicativité »
Il y a beaucoup de livres sur la théorie axiomatique des ensemb …
逻辑学
发布于 2023-06-29
L’axiome du choix, dans le domaine de la théorie intuitionniste des types
L’axiome du choix, c’est un axiome qui signifie qu’il y a
发布于 2022-11-01
哲学，逻辑，与数学——从罗素悖论谈起
本文作者才疏学浅，许多概念也是在写本文的过程中学习的，如有疏漏纰谬等等，不胜惶恐，多请读者指正 i. 悖论 一直到19世纪末期为止 …
