Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

elementary function arithmetic · Vinony

🌐English

English Português Türkçe 日本語

EntityQ5358906· pop 5· linked from 316 articles

elementary function arithmetic

system of arithmetic in proof theiry

Available in 5 languages

日本語
Português
Czech
Türkçe

via Wikidata sitelinks · CC0

Connections

semantic theory of truth

mathematical logic

Categories

Conjectures Formal theories of arithmetic Proof theory

Sources

wikipedia.externallinksexternallink

Peano axioms

Entity

first-order logic

semantics of logic

free and bound variables

ground expression

International Standard Book Number

digital object identifier

International Standard Serial Number

Sign in to save

Similar entities

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

Entitydist 0.44

arithmetic number

Entitydist 0.45

elementary number theory

Entitydist 0.45

multiplicative function

Entitydist 0.47

Presburger arithmetic

Entitydist 0.48

divisor function

Entitydist 0.49

Peano arithmetic

Entitydist 0.49

The Foundations of Arithmetic

Entitydist 0.49

arithmetic derivative

Entitydist 0.50

arithmetic function

Entitydist 0.50

arithmetical set

Entitydist 0.50

Introduction to Arithmetic

Entitydist 0.51

What links here316 pages

Fermat's Last Theorem

Elementary proof

axiomatic system

elementary equivalence

lambda calculus

Cantor's paradox

Mostowski collapse lemma

three-valued logic

Church encoding

continuum hypothesis

computer-assisted proof

algebra of sets

proof of impossibility

compactness theorem

logical contradiction