Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

elementary function arithmetic · Vinony

EntityQ5358906· pop 5· linked from 316 articles

elementary function arithmetic

Sign in to save

system of arithmetic in proof theiry

Connections

semantic theory of truth

mathematical logic

first-order logic

semantics of logic

free and bound variables

ground expression

International Standard Book Number

digital object identifier

International Standard Serial Number

Categories

Conjectures Formal theories of arithmetic Proof theory

Sources

wikipedia.externallinksexternallink

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

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