The axioms of pg are a Plural Comprehension Principle ... the interpretation of full second-order arithmetic on the basis of Frege's definitions of the ...
確定! 回上一頁