Why finding an undecidable proposition doesn't imply consistency, if anything is provable in an inconsistent axiomatic system?
117239
What is actually "relatively consistent"?
104626
Undecidable language problems.
116135
A paradox related to computable reals?
63963
deductive system where the axioms are all the propositions that are not tautology
91861
Propositional Logic: p → q, ¬p → r, ¬q → ¬r ⊢ q
126870
Show that axiom of replacement implies from the Axiom of Specification [Proof Verification]
29755
Power set equivalency of Axiom of Choice
4383
Finitely generated monoids - how to show that there is not first order set axiomatizing them.
148237
Is ¬¬(¬¬P → P) provable in intuitionistic logic?
950
Doubts on the axiom of union?
65308
Axiom of Choice: Family of non-empty sets mutually disjoint or not?
12449
How to formulate continuum hypothesis without the axiom of choice?
31389
consistency of ZF\{Power Set axiom}
97187
In what formal system is Godel's Incompleteness Theorem (or similar statements of undecidability) proven?
62936
Proving equivalencies of two versions of the Axiom of Choice
20252
The Axiom of Choice and the Cartesian Product.
152685
Parallel postulate from Playfair's axiom