scientific article; zbMATH DE number 1042847

From MaRDI portal

Publication:4346400

Jump to:navigation, search

zbMath0870.03024MaRDI QIDQ4346400

Karl-Georg Niebergall

Publication date: 3 August 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

consistency completeness metamathematics Gödel's theorems arithmetic theories arithmetic truth nonaxiomatizable theories

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4346400&oldid=18316355"