It is not the case that Boolos showed in 'The Consistency of Frege's Foundations of Arithmetic' that arithmetic can be recovered from Hume's Principle without Basic Law V, confirming Basic Law V is the locus of contradiction.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.