首页 正文

Hilbert's Early Metatheory Revisited

{{output}}
The article offers a novel reconstruction of Hilbert's early metatheory of formal axiomatics. His foundational work from the turn of the last century is often regarded as a central contribution to a "model-theoretic" viewpoint in modern logic and mathematic... ...