数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号去表示概念、判断、推理，获得它们的形式结构，从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。

文艺作品在形象地反映生活和体现特定的思想内容方面所达到的完美、统一和感人的程度，包括艺术形象的生动性和典型性，艺术结构的严密性和完整性，艺术手法的多样性和创造性，艺术风格的民族性和独特性等方面。文艺作品的艺术性和思想性联系密切，两者相互制约，相互依存，但又有相对的独立性。

1. 直接承受推力或压力的结构部位(例如拱、穹窿、梁或支柱的支座)。