|entries|frege-hilbert|