101
Voted
JSYML
2006
15 years 2 months ago
2006
The starting point of this article is an old question asked by Feferman in his paper on Hancock's conjecture [6] about the strength of ID