Displaying similar documents to “Note on arithmetic models for consistent formulae of the predicate calculus”