Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas.

Published in: J. Symb. Log. (1971)

Keyphrases

incomplete information
formal model
real numbers
formal specification
finite sets
formal methods
formal models
predicate calculus
logical formulas
quantifier elimination
unit length