Does Hilbert's $\varepsilon$-calculus have any real problem when using for incomplete systems?
99168
Does Hilbert's $\varepsilon$-calculus have any real problem when using for incomplete systems?
24478
What is the name of this theorem, and are there any caveats?
50089
characterization of the existence of higher order expectation.
27600
Gödel's (in)completeness theorems and the axiomatization of Euclidean geometry
16187
proof of functional completeness of logical operators
126633
Is a contradiction enough to prove a set equality to $\varnothing$?
135359
How to prove that limit doesn't exist using epsilon-delta definition?
135524
Is $\mathrm{ZFC}^E$ outright inconsistent?
35115
Questions on how to prove that a set of connectives is NOT functionally complete
98559
subtlety of self-defined function and its evaluation
107281
Proof of Existence of Algebraic Closure: Too simple to be true?
84890
Extremising a functional with conditions
84152
Hilbert, Gödel, and "God equations" - a 19th century lesson for 21st century physicists?
101163
Does there exist a universal formula of first-order logic that is satisfiable only by structures with infinite domains?
36574
Does separation of variables in PDEs give a general solution?
91698
Proofs of consistency for two formal systems
66636
Problems with introducing ordered pairs axiomatically