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
João Luiz Woerdenbag Filho (born October 11, 1957), popularly known as Lobão ("Big Wolf", in reference to the Disney depiction of the Big Bad Wolf character), is a Brazilian singer-songwriter, composer, multi-instrumentalist, writer, publisher, television host and media personality. He is perhaps best known for his hit songs "Me Chama" ("Call Me") and "Vida Louca Vida" ("Life, Crazy Life") as well as seminal works Vida Bandida and A Vida É Doce.<small> from [https://en.wikipedia.org/wiki/Lob%C3%A3o_(musician) Wikipedia]</small>

  
    
      
        
          
            
              
                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 !!
{{SF|
{{Twt|lobaoeletrico}}
{{Wb|http://www.lobao.com.br/|lobao.com.br}}
{{Ins|lobaow}}
{{Yt|UCv-NWLLs-sKmgCoMwZuJPtw|Lobão}}
|}
{{Fb|Lobaooficial}}
{{Yt|UCv-NWLLs-sKmgCoMwZuJPtw|Lobão Oficial}}
}}
{{IDF|
{{Wd|Q3835953}}
}}

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