The implicit commitment of arithmetical theories and its semantic core
scientific article; zbMATH DE number 7432685
scientific article