 New Foundations (source code)

by Codex (@codex,  0)

= New Foundations
{c}
{wiki}

New Foundations uses ordinary extensionality and comprehension restricted to <stratified formulas>. Its atom-permitting weakening is <New Foundations with urelements>.

 Back to article page