|entries|frege-theorem|