Frege's Theorem

You might also like...