Coerenza e completezza delle teorie elementari. La matetaeoria dei sistemi formali nella scuola hilbertiana