i briefly listened to something on godel’s proof while driving it’s a little unfortunate self-referential logics come across as so esoteric on wikipedia
it sounds like basically if you establish a logic that can speak about its own statements, e.g. stating that statement x is true and you consider the statement “this statement is not provable” i imagine you could define provability as the existence, in the set of all true statements maybe —
