NBG is presented here as a two-sorted theory, with lower case letters denoting variables ranging over sets, and upper case letters denoting variables ranging over classes.
英
美
释义
在本节中提供一个 NBG 的公理化(实际上有两个不同的公理化,第二个精致了第一个)。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载