 However, as noted, the main meta-theoretic properties of classical, first-order logic lead to expressive limitations of the formal languages and model-theoretic semantics. Key notions, like finitude, countability, minimal closure, natural number, and the like cannot be expressed. 