4 ms·
Why is the completeness theorem never mentioned in this context? FOL is decidable! And as far as I can see, RH is in FOL.
by posterboy 9y ago
Why is the completeness theorem never mentioned in this context? FOL is decidable! And as far as I can see, RH is in FOL.