A system of completely independent axioms for the sequence of natural numbers

DOI10.2307/2267993zbMath0063.08173OpenAlexW2024427973WikidataQ114589247 ScholiaQ114589247MaRDI QIDQ5846787

Shianghaw Wang

Publication date: 1943

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2267993

Related Items (2)

Explicating logical independence ⋮ Redundant axioms in teaching linear algebra

This page was built for publication: A system of completely independent axioms for the sequence of natural numbers