New posts in Metalogic

Expressing "does not imply''

How can you derive a formula without premises?

Has the Gödel sentence been explicitly produced?