A system has the existence-property for abstracts (existence property for numbers, disjunction-property) if whenever $\vdash(\exists x)A(x), \vdash A(t)$ for some abstract $(t) (\vdash A(n)$ for some ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback