New Foundations

短语

释义与例句

name
  1. 1.

    A non-well-founded, finitely axiomatizable set theory conceived as a simplification of the theory of types of Principia Mathematica.

    数学