証明できる命題

あれ、ところで効率をまったく度外視すれば、証明できる命題を列挙するプログラムは作れるよね。