gn(qo B1Rqh) = 29311515731113 How many decimal places is the Gödel number of the symbol string in the formula?
Posted: Fri Jun 10, 2022 11:56 am
gn(qo B1Rqh) = 29311515731113 How many decimal places is the Gödel number of the symbol string in the formula?