A construction for consistent systems

DOI10.4064/fm-37-1-87-110zbMath0039.24504OpenAlexW1433659699MaRDI QIDQ5798791

Igor L. Novak

Publication date: 1950

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/213232

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (5)

INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Predicative logic and formal arithmetic ⋮ Certains aspects syntactiques d'une notion de modèle: Relativisation d'une fonction logique de choix ⋮ Tarski on ``essentially richer metalanguages ⋮ Truth Definitions and Consistency Proofs

This page was built for publication: A construction for consistent systems