The claim is that a clear constructive meaning is thus assigned to CZF's notion of set by looking at its meaning in Martin-Löf type theory, ...
確定! 回上一頁