Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Peano arithmetic · Vinony

Home
Browse
Peano arithmetic

🌐English

English Bahasa Indonesia Deutsch Español Français Italiano Nederlands Português Svenska Tiếng Việt Русский العربية 한국어 中文日本語

EntityQ49938· pop 20

Peano arithmetic

Also known as PA

axiomatic theory of the arithmetic of nonnegative integers

Wikidata facts

Show 2 more facts

Stack Exchange tag: proofassistants.stackexchange.com/tags/peano-arithmetic
short name: PA

via Wikidata · CC0

Available in 20 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
Bahasa Indonesia
Belarusian
Catalan

Connections

Show 1 more

한국어

via Wikidata sitelinks · CC0

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Presburger arithmetic

Entitydist 0.39

Hilbert's second problem

Entitydist 0.41

arithmetical set

Entitydist 0.41

The Foundations of Arithmetic

Entitydist 0.42

arithmetic number

Entitydist 0.44

Category:Formal theories of arithmetic

Entitydist 0.48

Introduction to Arithmetic

Entitydist 0.48

elementary function arithmetic

Entitydist 0.49

Entitydist 0.51

arithmetic derivative

Entitydist 0.52

Entitydist 0.53

Summa de arithmetica

Entitydist 0.53