Analytic logic is a class of logic that differs from mathematical logic. With few exceptions, most modern logic is mathematical logic, and is often referred to as classical logic, first-order logic, and so on. Mathematical logic has numerous shortcomings that are known widely. For an extensive presentation of these shortcomings, see Angell (2002).