TY  - GEN
AU  - Damschen,G.
TI  - Are there ultimately founded propositions?
ER  -