Fundamental mathematical theories

DOI10.1098/rsta.1996.0084zbMath0863.03005OpenAlexW2325118092MaRDI QIDQ4718658

G. Temple

Publication date: 3 June 1997

Published in: Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1098/rsta.1996.0084

zbMATH Keywords

propositional logicset theorytype theoryfoundations of mathematicsneighbourhoodabstract arithmeticsymmetric relation between pairs of terms or objectstaxonomic algebrataxonomic systems

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30)

This page was built for publication: Fundamental mathematical theories