A formal systems modeler that iterates all provable theorems given the rules of the system and your premises. This would be completely and utterly useless since it doesn't aim to answer any specific question, just tries to answer every possible question. Since any meaningful formal system is pretty much guaranteed to have infinite provable theorems, this is really just a computerized automated fidget spinner