Comment Comment by xylol I'm really not from the field but wasn't there some Gödel theorem showing every system strong enough cannot show its own consistency? parent xylol 2 years ago
