Frege%27s principle

undefined