4
Consequence 1
•
Corollary
.
There is no recursive function f
such that if
f
has a finite model then it has a
finite model of size at most f(|
f
|).
•