It's finite for propositional and function-free first-order logic, for example.

→ View original post on X — @pmddomingos