Constructivism 章节 发表日期： 2025年 查看全文 Jörg Neunhäuserer 摘要 A constructivism in the philosophy of mathematics is based on the following ontological basic assumption:
