 
            
            
            
            
                2 Sep
                
                    2023
                
            
            
                2 Sep
                
                '23
                
            
            
            
        
    
                5:53 p.m.
            
        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 —