CONCEPT CALCULUS: MUCH BETTER THAN

1 CONCEPT CALCULUS: MUCH BETTER THAN Harvey M. Friedman* May 4, 2009 revised August 28, 2009 revised October 31, 2009 ABSTRACT. This is the initial publication on Concept Calculus, which establishes mutual interpretability between formal systems based on informal commonsense concepts and formal systems for mathematics through abstract set theory. Here we work with axioms for better than and much better than, and the Zermelo and Zermelo Frankel axioms for set theory.

• basic facts about interpretation power
• equivalence relation
• t. interpretation
• t1 definable
• zf
• theory of strict linear orderings
• examples of incomparability between natural theories
• logic of informal concepts from common sense thinking
• proof