Near Matches
Ignore Exact
Everything
2
epsilon calculus
finitistic
David Hilbert
Paul Bernays
Herbrand's theorem
Linguistics and Philosophy
implicit function theorem
anaphoric
Predicate Logic
foundations of mathematics
logical quantifier
set theory notation
metamathematics
Wilhelm Ackermann
quantifier
Leadership by Example
formal system
1922
Nicholas Bourbaki
1924
Formalism
Consistency
epsilon
witness
ideal
Log in
or
register
to write something here or to contact authors.