Naked Science Forum

On the Lighter Side => New Theories => Topic started by: talanum1 on 08/08/2022 10:19:04

Title: Is the Consistency Condition for Logics Provable?
Post by: talanum1 on 08/08/2022 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.