Étoiles et toi
GitHub
Pixeval
Me
标签：
逻辑学
« Sur imprédicativité »
3 月 2024
L’axiome du choix, dans le domaine de la théorie intuitionniste des types
6 月 2023
哲学，逻辑，与数学——从罗素悖论谈起
11 月 2022
“斑马谜题”的求解
10 月 2020