和语义概念（给定顺序的逻辑语言，可满足性，可定义性的概念）出现而言，尤其如此。研究悖论解决方案的副产品包括：集合论的公理化，类型论的系统发展，语义学的基础，形式系统的理论。<br>
特征.经典逻辑被特征化为下面一些性质：非经典逻辑缺乏上面这其中的某一个或多个特性。