Report copyright - Justi cations, Ontology, and Conservativity · 438 Justi cations, Ontology, and Conservativity justi cation terms are interpreted as proofs in Peano arithmetic and the opera-tions
Please pass captcha verification before submit form