!A0(A1)

On Jan 21, 10:24*pm, Tonico wrote:
On Jan 22, 6:21*am, "INFINITY POWER" wrote:





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

Idiot-

Please don't mince words.