直謂集合論

直謂集合論（predicative set theory）是1993年公佈的數學名詞。