1

**New Theories / Is the Consistency Condition for Logics Provable?**

« **on:**

**Yesterday**at 10:19:04 »

Is it provable that a system of Logic is consistent iff there is a true formula of the system that cannot be proved in the system? If yes please provide a reference.