Why does Gödel's Second Incompleteness Theorem undermine Hilbert's program?
130458
Why Godel's theorem influences Hilbert's programme?
77189
Prolog successor notation yields incomplete result and infinite loop
16255
If $\mathop{\mathrm{Spec}}A$ is not connected then there is a nontrivial idempotent
82739
Why is $\alpha \rightarrow \forall x(\alpha)$ not generally correct in first-order logic?
59964
Why an inconsistent formal system can prove everything?
17161
Can anyone make me understand in simple language why the second condition for being an Euclidean domain is superfluous?
116135
A paradox related to computable reals?
3663
Finding counterexamples in elementary set theory.
128843
Rolle's Theorem Contradiction
58267
Godel's pairing function and proving c = c*c for aleph cardinals
23875
Why is convexity a requirement for Brouwer fixed points? Shouldn't "no holes" be good enough?
147513
GHC complains about non-exhaustive patterns that are enforced by the type checker
136022
Why can't a union of two intervals be the maximum existence interval of a solution?
113640
Why is there this strange contradiction between the language of logic and that of set theory?
99168
Does Hilbert's $\varepsilon$-calculus have any real problem when using for incomplete systems?
96748
Formal deductions on Hilbert system
150882
If $\Gamma \cup \{ \neg \varphi \}$ is inconsistent, then $\Gamma \vdash \varphi$