Solomon Feferman Harvey M. Friedman Penelope Maddy John R. Steel Does mathematics need new axioms? 401-446 2000 6 Bulletin of Symbolic Logic 4 http://www.math.ucla.edu/~asl/bsl/0604/0604-001.ps db/journals/bsl/bsl6.html#FefermanFMS00