In fact, Gödel (1936) proposed something stronger than this; he observed that there was something "absolute" about the concept of "reckonable in S1": It may also be shown that a function which is computable in one of the systems Si, or even in a system of transfinite type, is already computable in S1.
У ствари, Гедел (1936) је предложио нешто јаче од овога; он је приметио да постоји нешто "апсолутно" о концепту "Процењиви у С1": "То може да се покаже да је функција која је израчунљива у једном од система Си, или чак у систему трансфинит типа, већ израчунљива у С1.