Does 'incomplete' mean the same thing in formal arithmetic compared to Godel's work?
118617
Completeness and Incompleteness
94741
Are all infinities equal?
93606
Showing that $C[0,1]$ is not complete
28079
Do these definitions of irreducibility of algebraic sets coincide?
64068
Is every finite Galois extension of $\mathbb{Q}_p$ the completion of a number field at some valuation?
55357
Why does drawing $\square$ mean the end of a proof?
138569
Is the “sum of all natural numbers” unique?
116283
How to properly interpret a seemingly contradictory result in Mathematica?
22310
Why not to extend the set of natural numbers to make it closed under division by zero?
113986
Fermat's Last Theorem: implications (there is no new proof)
17073
Using proof by contradiction vs proof of the contrapositive
108028
Is there a bijection between the reals and naturals?
93761
"if", and "elif" chain versus a plain "if" chain
115996
Misleading Definitions and Unanswerable Problems in Spivak's Calculus
153935
A weaker Axiom of Infinity?
149976
What is "magic" about the combination of addition and multiplication in formal arithmetic?
30733
Negation as failure in Prolog is a procedural behavior?