Full Idea
In very general terms, we cannot express the distinction between what is finite and what is infinite without moving essentially beyond the resources available in elementary logic.
Gist of Idea
Elementary logic cannot distinguish clearly between the finite and the infinite
Source
David Bostock (Intermediate Logic [1997], 4.8)
Book Reference
Bostock,David: 'Intermediate Logic' [OUP 1997], p.184
A Reaction
This observation concludes a discussion of Compactness in logic.