通过建立数学模型，开创了正式的不完全契约理论。