Logic comes from mathematics {intuitionism}. Whole numbers come from time intuition. The only proof of existence is to make something exist. Truth is about provability or assertibility. In intuitionism, all definitions and proofs are constructive. Excluded-middle law can only work for proofs with finite numbers of steps. Double negation is not equivalent to original statement. Kripke trees can formalize intuitionist logic.
Mathematical Sciences>Logic>Foundations
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224