A sufficiently rich equational theory may indirectly force infinitude by making finite models requir...
This proposition has not been edited since the history system was added.