Revision of Lobão

{{DISPLAYTITLE:Lobão}}[[File:Lobao.jpg|frameless|right]]
In mathematical logic, Löb's theorem states that in Peano arithmetic (PA) (or any formal system including PA), for any formula P, if it is provable in PA that "if P is provable in PA then P is true", then P is provable in PA. More formally, if Prov(P) means that the formula P is provable, then

  
    
      
        
          i
          f
        
         
        P
        A
        ⊢
        (
        
          
            P
            r
            o
            v
          
        
        (
        P
        )
        →
        P
        )
        
          ,
          t
          h
          e
          n
        
         
        P
        A
        ⊢
        P
        ,
      
    
    {\displaystyle \mathrm {if} \ PA\vdash ({\rm {Prov}}(P)\rightarrow P)\mathrm {,then} \ PA\vdash P,}
  or

  
    
      
        
          
            
              
                P
                A
                ⊢
                
                  
                    P
                    r
                    o
                    v
                  
                
                (
                P
                )
                →
                P
              
              
                P
                A
                ⊢
                P
              
            
          
        
        .<small> from [https://en.wikipedia.org/wiki/Lob%C3%A3o Wikipedia]</small>
{|
|+ 
|-
! Icon !! Service !! Username !!
{{Twt|lobaoeletrico}}
{{Wb|http://www.lobao.com.br/|lobao.com.br}}
{{Ins|lobaow}}
{{Yt|UCv-NWLLs-sKmgCoMwZuJPtw|Lobão}}
|}

[[VHID]]:[https://verifiedhandles.com/vhid/54769370507 54769370507]
{{#subtitle: <big>Brazilian musician</big>}}