goedel number to 3