set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary di#erential equations (1984)

by Which
Venue:Journal of Symbolic Logic