The lambda calculus is useful without modification. It can also be used to model other simpler languages or logics which are power and elegant in their own right.

So, yes, since I've used the lc in these ways I believe the same claim can be made regarding the lambda calculus.