Gödel number

From Free net encyclopedia