First page
Back
Continue
Last page
Image
Operation of Substitute
>>> 'x+5'
Its Godel number: 89_12_22
>>> '6'
Its Godel number: 23
>>> Substitute(89_12_22, 23)
23_12_22
Corresponding string:
'6+5'