The ways by which we introduce our indefinables must permit us to construct all propositions that have sense [﹖ meaning] from these indefinables alone. It is easy to introduce “all” & “some” in a way that will make the construction of (say) “(x,y).xRy” possible from “all” & “xRy” as introduced before.


7