3 ms·
You can enumerate all syntactically valid proofs too, and just check each one to see if it proves whatever proposition you’re curious about.
by baddox 7y ago
You can enumerate all syntactically valid proofs too, and just check each one to see if it proves whatever proposition you’re curious about.
- jjtheblunt 7y agoYep, and how tedious that would be!