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.

Heyting arithmetic · Vinony

EntityQ5548813· pop 5· linked from 63 articles

Heyting arithmetic

Sign in to save

axiomatization of arithmetic

Connections

mathematical induction

Luitzen Egbertus Jan Brouwer

primitive recursive function

three-state logic

digital object identifier

binary numeral system

mathematical logic

Goldbach's conjecture

Gödel's incompleteness theorems

Diophantine equation

De Morgan's laws

Stanford Encyclopedia of Philosophy

Categories

Constructivism (philosophy of mathematics)Formal theories of arithmetic Intuitionism

Sources

wikipedia.externallinksexternallink

Similar entities

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

Entitydist 0.41

Typographical Number Theory

Entitydist 0.44

arithmetical hierarchy

Entitydist 0.49

Entitydist 0.53

Entitydist 0.55

Entitydist 0.55

axiom schema of specification

Entitydist 0.56

Entitydist 0.58

distributive property

Entitydist 0.59

hypostatic abstraction

Entitydist 0.61

axiom schema of replacement

Entitydist 0.61

Entitydist 0.61

What links here63 pages

description logic

three-valued logic

substructural logic

Markov's principle

intermediate logic

intuitionistic type theory

many-valued logic

axiom of choice

Brouwer–Heyting–Kolmogorov interpretation

Łukasiewicz logic

non-classical logic

Epsilon-induction

intuitionistic logic

Strict conditional

relevance logic