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.

Heyting arithmetic · Vinony

🌐English

English Deutsch Español Français Português 中文日本語

EntityQ5548813· pop 5· linked from 63 articles

Heyting arithmetic

axiomatization of arithmetic

Available in 5 languages

Español
Français
Deutsch
Português

via Wikidata sitelinks · CC0

Connections

mathematical induction

Categories

Constructivism (philosophy of mathematics)Formal theories of arithmetic Intuitionism

Sources

wikipedia.externallinksexternallink

Luitzen Egbertus Jan Brouwer

Entity

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

Sign in to save

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