Frege’s Result: Frege’s Theorem and Related Matters