adds godel numeration