It is suggested that the ethical notion of social contract can be formally modeled using the well-studied concept of the core of a game. This provides a mathematical technique for studying social contracts and theories of justice. The idea is applied to Rawlsian justice here.