一、一个新的逻辑学概念