History

for article: Frege's theorem