On axiom schemata applicable to the formulae with \(\epsilon\)-symbols

DOI10.21099/tkbjm/1496161321zbMath0719.03006OpenAlexW432755253WikidataQ114593165 ScholiaQ114593165MaRDI QIDQ2639839

Masazumi Hanazawa

Publication date: 1990

Published in: Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21099/tkbjm/1496161321

zbMATH Keywords

consistencyfirst order predicate calculus\(\epsilon \) -calculusextra predicatesyntactic condition

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Axiomatics of classical set theory and its fragments (03E30)

This page was built for publication: On axiom schemata applicable to the formulae with \(\epsilon\)-symbols