@crazazy @0xabad1dea @calx @shelldozer @mansr
> limits
depends on the logic at hand. like first-order logic is complete and afaik solved within less than 200 characters of prolog
peano is incomplete, but here are other arithmetics that are complete like presburger that is complete.