Meta-theory is the term for the theory in which mathematics is formalized (often PA, ZFC or similar theories). Meta-mathematical statements are statements which are evaluated at the level of the meta-theory rather than the theory. This tag is for questions regarding meta-mathematical theories, and ...

learn more… | top users | synonyms

4
votes
0answers
90 views

An “internal” condition on $T$ so that for the standard provability predicate, $T$ proves $\text{Pf}(\underline S)$ implies $T$ proves $S$?

This is probably quite basic, but I'd like to make sure I got this right. Regarding the proof of Goedel's first incompleteness theorem, say that we have $T$ containing $PA$ effectively axiomatizable ...
2
votes
0answers
49 views

Dependence of axioms of Zermelo set theory

I'm reading a book about Zermelo–Fraenkel set theory, and I was told that there are a lot of dependence relation among the commonly used axiom system (in the question What axioms does ZF have, ...
2
votes
0answers
47 views

Are Euclid's Axioms Non-Logical or Logical

This question may seem trivial, but I recently became aware of the distinction between the two types of axioms: Logical and non-logical. What category does Euclid's fall under? I would assume they ...
2
votes
0answers
66 views

Maths, esp. Godel, and poetry

At the risk of being an interloper: I'm a poet with a bit of mathematical training. Right now I've got a grant from the Arts Council of Northern Ireland to write a collection (loosely) based on the ...
0
votes
0answers
25 views

For someone who loves mathematics - the more theoretical, the better - what type of engineering would you recommend?

I'm thinking there must be a type of engineering where math is strongly involved. What type of engineering would you suggest?