3 ms·Even more fun: a theory T can be consistent and prove Not(Con(T)).by johncolanduoni 10y agoEven more fun: a theory T can be consistent and prove Not(Con(T)).deleted 10y ago[deleted]