Logic
I have a question about existence withing a formal system. Can we construct it so that a theorem t implies "there exists" theorem t itself?
Thanks,
Paul
Accepted:September 10, 2010
Accepted:
September 10, 2010