Investigating Quine’s Ontological Relativity through Prolog: A Formalizationof Proxy Functions in Peano Arithmetic and the von Neumann Set Hierarchy. Perspectivas Contemporâneas em Filosofia da Lógica. DOI: https://doi.org/10.51359/2357-9986.2025.263813