In the following year he gave a consistency proof in terms of an N-type logic for the system S of arithmetic with induction.
Sa mga sumusunod na taon siya ibinigay ng isang consistency patunay sa mga tuntunin ng isang N-type para sa lohika ng sistema ng S arithmetic sa pagtatalaga sa tungkulin.