%0 Journal Article %A S. Feferman %T Arithmetization of metamathematics in a general setting %J Fundamenta Mathematicae %D 1960 %P 35-92 %V 49 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-49-1-35-92/ %R 10.4064/fm-49-1-35-92 %G en %F 10_4064_fm_49_1_35_92