断言集论

[duàn yán jí lùn]

• predicative set theory

参考释义

断言集论

• -