Category:直観主義

Intuitionistic logic

Intuitionism

Double-negation translation

Peirce's law

L. E. J. Brouwer

Intuitionistic type theory

Arend Heyting

Stephen Cole Kleene

Michael Dummett