The top documents tagged [true numerical propositions]
Gentzen Investigations
57 views