This paper is the first in a series whose objective is to study notions of large sets in the context of formal theories of constructivity.
確定! 回上一頁