{"title":"的顺序","authors":"Hao Wang","doi":"10.5040/9781350102934.0015","DOIUrl":null,"url":null,"abstract":"were it not for the excessive demands on class existence for the values of y . A trick of inversion (see [l]) obviated the need of infinite values of y in the definition of natural numbers: give the role of y to its complement y (without assuming existence of y) and then reduce. I.e., put bars over the occurrences of y after the quantifier and reduce. The same trick on (1) gives (2) NO(x) for (y)(x G y • S\"y Q y O ( 3*)(Us G y y r\\ z = A)).","PeriodicalId":146287,"journal":{"name":"Knowledge and the Philosophy of Number","volume":"56 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The Ordinals\",\"authors\":\"Hao Wang\",\"doi\":\"10.5040/9781350102934.0015\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"were it not for the excessive demands on class existence for the values of y . A trick of inversion (see [l]) obviated the need of infinite values of y in the definition of natural numbers: give the role of y to its complement y (without assuming existence of y) and then reduce. I.e., put bars over the occurrences of y after the quantifier and reduce. The same trick on (1) gives (2) NO(x) for (y)(x G y • S\\\"y Q y O ( 3*)(Us G y y r\\\\ z = A)).\",\"PeriodicalId\":146287,\"journal\":{\"name\":\"Knowledge and the Philosophy of Number\",\"volume\":\"56 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Knowledge and the Philosophy of Number\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5040/9781350102934.0015\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Knowledge and the Philosophy of Number","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5040/9781350102934.0015","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
如果不是因为阶级存在对y值的过分要求。一个反转的技巧(见[l])在自然数的定义中消除了y的无穷值的需要:将y的作用赋予它的补元y(不假设y存在)，然后进行约简。也就是说，在量词和略读之后的y出现的地方加上横杠。在(1)上同样的技巧得到(2)NO(x)对于(y)(x G y•S ' y Q y O(3*)(Us G y y r\ z = A))。
were it not for the excessive demands on class existence for the values of y . A trick of inversion (see [l]) obviated the need of infinite values of y in the definition of natural numbers: give the role of y to its complement y (without assuming existence of y) and then reduce. I.e., put bars over the occurrences of y after the quantifier and reduce. The same trick on (1) gives (2) NO(x) for (y)(x G y • S"y Q y O ( 3*)(Us G y y r\ z = A)).
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
