Even granting Frege's framework, it doesn't follow that Church's particular argument *assumes* full ...
This proposition has not been edited since the history system was added.