佚名
数学基础——从集合论、范畴论到同伦类型论
形式化的层次
由
Lebesgue测度
可知，在这里，我们位于形式化的层次