# Tagged Questions

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 ...

345 views

### What would be the consequences if ZFC proved its own inconsistency, nonconstructively? [on hold]

Let's say a nonconstructive proof was given in ZFC that ZFC was inconsistent. Note that this doesn't automatically make ZFC inconsistent. Given a consistent theory $X$, $X + \neg \text{Con}(X)$ is ...
55 views

### What is the best book on mathematical logic [on hold]

What is the best book on mathematical logic, the most complete, the most formal, and the most up to date? PS: price doesn't matter.
61 views

### Could mathematical reasoning be non-axiomatic?

"Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the hypotheses, and then start to reason. What you do is trial and error, experimentation, ...
32 views

### What is the study of systems called?

Before I begin, i'll admit this isn't a maths question, however it is intrinsically a part of maths, and systems such as logic, set theory, and of course mathematics, will have been studied by many ...
42 views

### If a theory is 1-consistent then it is consistent

I am attempting to back two claims in this problem: I use $\textbf{Q}$ to denote minimal arithmetic for this post. I use the term 'rudimentary sentence' to denote formulas built using only negation, ...
26 views

### Minimal arithmetic proving a statement similar to a Gödel sentence

I will use $\textbf{Q}$ to denote minimal arithmetic for this post. (I suppose Robinson arithmetic would also suffice (?)) Suppose we have $F(x)$ be a formula defining, in $\textbf{Q}$ the primitive ...
50 views

### Weak Representability and Derivability Condition 1

Can someone point out the error in the following reasoning? Let K be an axiomatizable, consistent extension of Peano Arithmetic. Let P' denote the Gödel number for P. K is axiomatizable, thus Thm(k)...
28 views

### Understanding order and countability

I am confused with how to defining the order of countable set. Let me express my thoughts by some examples: $\Bbb{N}$ has a 'natural' order, namely $1\lt2\lt3...$ For any countable set, we can define ...
71 views

### Quantification over the set(?) of predicates

When learning set theory and logic, one fact that popped up a handful of times was that we did not quantify over predicates. To quote the notes I took in class on the axiom of unrestricted ...
11 views

### Metamathematic: Cover the case if X=Y

I want to formalize: "If X is less than Y, Then U is equal to Y ", and have been told that $$\bf [\forall V \sim X=(Y+V)]U=Y$$ does not cover the case X=Y. Therefore I have rewritten it as  \bf [\...
101 views

### Are there any coherent, complete, mathematical systems that do not imply the existence of the infinite?

Basically, are there any systems(complete with axioms) that do not imply the existence of an infinity? Is it possible to construct a mathematical system without infinity?
131 views

### What does “dual statement” mean exactly in category theory?

I have long been confused about this notion. I know that for a statement within a single category, forming the dual statement is just reversing every arrows. But what about a statement concerning ...
84 views

### Intuitonism and metamathematics.

There are various reasons why one would want to reject the law of the excluded middle when doing "normal" mathematics, which I won't get to here, but accepting those, does the same reasoning hold when ...
72 views

### Why can we prove things via the contrapositive, contradiction, etc.?

I don't understand why we can use things as the contrapositive, reductio, etc. when we look to prove some statement. If we look at this from something like axiomatic propositional logic we can say ...
81 views

### In meta-math does the sequence matter for $\bf ∀x$?

For example, if I have an axiom starting with $\bf ∀x∀x'\dots$ , would it still be an axiom if the only difference is that the sequence has changed to $\bf∀x'∀x\dots$?
78 views

### Is there a sense in which a formal theory can be more or less “metamathematically aware”?

For example, in classical logic, because of the law of the excluded middle, all propositions must be true or false, so in order to prove that a proposition is actually independent of the theory, we ...
62 views

### When can independence of a statement in a theory be reduced to “truth”?

Since the Goldbach conjecture is in $\Pi_1^0$, if it were proven to be independent of Peano Arithmetic, it would follow that the Goldbach conjecture is true (i.e. true in the standard model), since ...
118 views

### Formalizing the meta-language of First order Logic and studying it as a formal system

We've a formal system say First order Logic, we reason about it in our meta-language using our meta-logic. We study its properties as a mathematical object. We prove theorems like group theory. This ...
48 views

### Discussion on AC and countable unions of countable sets

My question stems from the comments following Asaf Karagila's answer here : Why can't you pick socks using coin flips? At some point there was a discussion about whether or not a countable union ...
54 views

### Artificial intelligence methods in mathematics

Are there aritficial intelligence methods in mathematics, automatic theorem discovery and proving? Google gives results in the opposite direction - mathematical methods of AI. Are there applications ...
1k views

### What did Hilbert actually want for his second problem?

When I read about the historical background of Gödel's incompleteness theorems, it is often mentioned that he was essentially responding to Hilbert, who was trying to prove the consistency of (...
70 views

### Theorems relating to the limitation of mathematics

At one point, mathematicians believed that they may be capable of expressing all of mathematics in one system of ideas, and that their abilities were unlimited. Unfortunately, things like the Godel's ...
39 views

### Standard model of the Meta theory in the proof of arithmetic incompleteness

I have a question about the incompleteness of arithmetic. I wonder in which meta theory we are reasoning. For example, if we are in ZFC, then there are some non standard models of ZFC. As far as I ...
31 views

### Needing an appropriate term for a metamathematical notion related with universes of discourse

I am working on a framework for metamathematics which uses structures of type (U, F, R), to which I refer as "universes" (short for "universe of discourse"), where U is a collection called "support" (...
173 views

### [Paradox]How can Godel prove that Godel sentence is unprovable but true, if such proof itself proves that Godel sentence is true?

Isn't the proof that Godel sentence is unprovable but true a proof itself that Godel sentence is true? Godel in the preface of his proof remarked: “From the remark that [the unprovable statement] ...
62 views

### Order of Parentheses is Irrelevant: Metatheorem?

Here was shown by induction that the order of parentheses is irrelevant when associativity is verified. Question: Would this be a metatheorem about the formal language (say, of ZF) where the ...
59 views

### understanding the reducibility axiom

I am reading an english translation of Gödel's paper of the Incompleteness Theorem http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf In there is mentionned the so called "...
114 views

### Why in general there is no systematic way to find counterexamples? What kind of property do they all break that lead to this? and other things

We came across counterexamples in many areas of mathematics: For example Sum of irrational numbers not necessary being irrational The "Windmill blade" function (for lack of a better name of one of ...
88 views

### Given any set of consistent axioms, is it always possible to find a model for these axioms in ZFC set theory?

If not, are there any conditions under which there must be a model under ZFC theory? Alternatively, is there any set of axioms for which this does hold true? If so, can we drop some of the axioms and ...
47 views

### Help understand theorem that any set of first order sentences satisfied by N has a model that's a strict superset of N.

I saw the following theorem (in Computational Complexity book by Papadimitriou, p. 111) : Theorem : If $\Delta$ is a set of first-order sentences such that $N$ $\vDash \Delta$, then there ...
40 views

### Separability in Algebra and Topology

I am wondering about the use of the word separablity in two different areas of mathematics, namely algebra and topology. In topology, we call a topological space $(X,\mathscr{T})$ if it contains a ...
34 views

### Connection regularity in measure theory and approximation in premeasure

In the measure theory lecture, we defined a measure-theoretic content as follows: $\mu: \mathscr{C} \rightarrow [0,\infty]$ with the property being additive on disjoint sets and that the empty set ...
57 views

### Relationship between completeness and well ordering (meta).

Here is the definition for completeness of the reals (there are many equivalent formulations but I am interested in this one); Completeness: Every non-empty subset of the reals which is bounded above ...
132 views

### Primitive recursion and $\Delta^0_0$

Until recently I assumed that primitive recursive relations are exactly $\Delta^0_0$ (i.e. bounded) ones, but I learned they're different (the former is a proper superclass of the latter). I have ...
2k views

### Is this visual analogy to Gödel's incompleteness theorem accurate?

Today I was trying to explaining the Gödel's theorem to a layman, I've drawn a figure similar to the one below and said that: A truth is a consequence of the axioms (with the axioms also being truth)...
25 views

### Prove the Dual-Converse Relationship

Using a Hilbert-type system, given $E \sim F ,E' \sim F', E \implies F$ prove $F' \implies E'$ where a propositional formula A' is obtained by interchanging & and V in A. My answer is ...
63 views

215 views

### Good source on current 'views and thoughts' on mathematics

Recently I've become interested in the history of the way people think about mathematics. What I mean by this is for example how Godels proof basically put an end to the whole school of thought ...
62 views

### Model-theoretic question about language of field theory.

Let $\mathscr{L}=\{+,·\}$ be the language of the theory of fields. Let $\phi$ be a sentence in this language. Show, using the compactness theorem of first-order logic, that if $\phi$ holds in finite ...
One can think of the same mathematical object in many different ways. For example take $\mathbb{R}$. One can think of this as (assume necessary hypotheses and so on) As a group. As a one ...