Second-order arithmetic
id:
second-order-arithmetic-182-11679331
title:
Second-order arithmetic
text:
In mathematical logic, second-order arithmetic is a collection of axiomatic systems that formalize the natural numbers and their subsets. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. A precursor to second-order arithmetic that involves third-order parameters was introduced by David Hilbert and Paul Bernays in their book Grundlagen der Mathematik. The standard axiomatization of second-order arithmetic is denoted by Z2. Second-order arithmetic
brand slug:
wiki
category slug:
encyclopedia
description:
Mathematical system
original url:
https://en.wikipedia.org/wiki/Second-order_arithmetic
date created:
2005-12-27T22:38:28Z
date modified:
2024-09-06T11:33:15Z
main entity:
{"identifier":"Q7442973","url":"https://www.wikidata.org/entity/Q7442973"}
image:
fields total:
13
integrity:
15