LISPだと自己投影プログラムが作れると聞きますが、
プログラムが正しいかを証明するプログラムを作れますか？
プログラムが正しいかを証明するプログラムが正しいかを証明するには
プログラムが正しいかを証明するプログラムで正しいかを証明する事で、
プログラムが正しいかを証明するプログラムが正しいかの証明になりますか？