I have a question about existence withing a formal system. Can we construct it

I have a question about existence withing a formal system. Can we construct it

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

Read another response by Richard Heck
Read another response about Logic
Print