Schirn, M.

Axion V and Hume's principle in Frege's foundational project