... 《數學原理》類型論的背景下提出的。維納意識到,這可以從該研究的系統中刪除n > 1 的n 元關係類型。 現在更常見的是使用以下定義: ( X , y ) = d e F 。 { { X } ...
確定! 回上一頁