分类： 数学

On structural property of free groups. 10/08

« Sur imprédicativité » 03/02

L’axiome du choix, dans le domaine de la théorie intuitionniste des types 06/29

哲学，逻辑，与数学——从罗素悖论谈起 11/01