-
categorizing the
proposition "'2+2=4' is valid" as
belonging to
metamathematics.
Metamathematical metatheorems about mathematics itself were
originally differentiated...
-
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...
- the
antinomies which had been an
obstacle to
earlier progress. The
metamathematical period from 1910 to the 1930s,
which saw the
development of metalogic...
- as a
field of
study or
endeavor (metatheory:
theory about a theory;
metamathematics:
mathematical theories about mathematics; meta-axiomatics or meta-axiomaticity:...
- syllogism,
disjunction introduction, and
reductio ad absurdum. The
metamathematical value of the
principle of
explosion is that for any
logical system...
- In logic, a
metavariable (also
metalinguistic variable or
syntactical variable) is a
symbol or
symbol string which belongs to a
metalanguage and stands...
- Peano.
These axioms have been used
nearly unchanged in a
number of
metamathematical investigations,
including research into
fundamental questions of whether...
-
provability logic to
describe interpretability or
various related metamathematical properties and
relations such as weak interpretability, Π1-conservativity...
- the
importance of
distinguishing carefully between mathematics and
metamathematics. Kurt Gödel
specifically cites Richard's
antinomy as a
semantical analogue...
-
Resultate über
Entscheidungsdefinitheit und Widerspruchsfreiheit" [Some
metamathematical results on the
definiteness of
decision and consistency], Austrian...
