Near Matches
Ignore Exact
Everything
2
Gödel-Bernays set theory