#1
|
|||
|
|||
!A0(A1)
A0(x) = PROOF(x)
A1 = 8203215 !A0(A1) 8203215 A1 is the Godel number of the Godel statement !A0(A1) 0 0 1 1 A 2 ( 3 , 4 ) 5 ^ 6 v 7 ! 8 = 9 |
Thread Tools | |
Display Modes | |
|
|