You can enumerate all syntactically valid proofs too, and just check each one to...

		tshaddox on Sept 6, 2019 \| parent \| context \| favorite \| on: 42 is found to be the sum of three cubes You can enumerate all syntactically valid proofs too, and just check each one to see if it proves whatever proposition you’re curious about.

Yep, and how tedious that would be!