-
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...
- Peano.
These axioms have been used
nearly unchanged in a
number of
metamathematical investigations,
including research into
fundamental questions of whether...
- 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...
- In logic, a
metavariable (also
metalinguistic variable or
syntactical variable) is a
symbol or
symbol string which belongs to a
metalanguage and stands...
- In
abstract algebra, an
interior algebra is a
certain type of
algebraic structure that
encodes the idea of the
topological interior of a set. Interior...
- syllogism,
disjunction introduction, and
reductio ad absurdum. The
metamathematical value of the
principle of
explosion is that for any
logical system...
- von
Neumann universe (also
known as the ****ulative hierarchy). The
metamathematics of Zermelo–Fraenkel set
theory has been
extensively studied. Landmark...
