-
categorizing the
proposition "'2+2=4' is valid" as
belonging to
metamathematics.
Metamathematical metatheorems about mathematics itself were
originally differentiated...
-
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...
- as a
field of
study or
endeavor (metatheory:
theory about a theory;
metamathematics:
mathematical theories about mathematics; meta-axiomatics or meta-axiomaticity:...
- the
antinomies which had been an
obstacle to
earlier progress. The
metamathematical period from 1910 to the 1930s,
which saw the
development of metalogic...
- 2001). ""Clarifying the
nature of the infinite": the
development of
metamathematics and
proof theory" (PDF).
Carnegie Mellon University.
Retrieved June...
- syllogism,
disjunction introduction, and
reductio ad absurdum. The
metamathematical value of the
principle of
explosion is that for any
logical system...
- the
importance of
distinguishing carefully between mathematics and
metamathematics. Kurt Gödel
specifically cites Richard's
antinomy as a
semantical analogue...
-
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...
- 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...
