Solomon Feferman's work shows predicative mathematics can recover nearly all scientifically applicab...