逻辑学
发布于 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世纪末期为止 …