Basic Law V

Redirect to:

• Frege's theorem#Overview