-
categorizing the
proposition "'2+2=4' is valid" as
belonging to
metamathematics.
Metamathematical metatheorems about mathematics itself were
originally differentiated...
- as a
field of
study or
endeavor (metatheory:
theory about a theory;
metamathematics:
mathematical theories about mathematics; meta-axiomatics or meta-axiomaticity:...
- the
importance of
distinguishing carefully between mathematics and
metamathematics. Kurt Gödel
specifically cites Richard's
antinomy as a
semantical analogue...
- destro**** the
borderline between metamathematics and mathematics. He
objected to
restricting the role of
metamathematics to the
foundations of mathematics...
-
instead of "<", may be
found in
Machover (1996, pp. 256–257). On the
metamathematics of Q see Boolos,
Burgess &
Jeffrey (2002, chpt. 16), Tarski, Mostowski...
-
Chaitin made
contributions to
algorithmic information theory and
metamathematics, in
particular a computer-theoretic
result equivalent to Gödel's incompleteness...
- von
Neumann universe (also
known as the ****ulative hierarchy). The
metamathematics of Zermelo–Fraenkel set
theory has been
extensively studied. Landmark...
-
consistency and
completeness of mathematics,
creating the
topic of
metamathematics. His
hopes for the
success of this
proof were
disappointed by the work...
-
Archived 2013-04-03 at the
Wayback Machine S. C. Kleene,
Introduction to
Metamathematics (1952), Van
Nostrand Publishing. p.88. Hunter,
Geoffrey (1996) [1971]...
- is that
these tiny
fragments of set
theory give rise to such rich
metamathematics.
While ST is a
small fragment of the well-known
canonical set theories...
