The claim conflates 'standard relativizable methods fail' with 'the problem resists all formal metho...
This proposition has not been edited since the history system was added.