PAC学习框架提供了一种形式化的方法来量化概念类的可学习性。