 In the Appendix to Gg II, Frege shows that a contradiction can be derived from Basic Law V once we formulate the concept being an x that is the extension of some concept which x doesn’t fall under. We may use the following \(\lambda\)-expression to represent this concept: 