补充资料：断言

断言
assertion

　　断盲脚留时妞.;。，移.曰.卜拿粤伽勺p万盛咖或s纽把-~)，(断亨)争匆((assej七Ve)sen让泊戊) 一个由其意义可断定其真假的陈述语句，在狭义下，数理逻辑中把它理解为逻辑一数学语言的一个闭公式，并且由其语言的语义(se江旧叮t心)可以断定其真假. 于是公理集合论中的各种数学命题，例如选择公擎~of咖让)，诊琴卿娜田掀加姻nh男沁th口is)等都能写成公式的形式;根据通常的语义法则、这个公式就表示了命题所包含的内容.但这决不意味着存在一个识别语言中命题的真假的方法.而且，语义学本身并未充分发展，或可以提供在解决某些断言真假的问题时会遇到的基本困难.在一个理论的框架内，某些断言的不可解性是由形式化方法(如m刘lza由n业血刃)阐明的(例如见公理集合论恤心。叮坦t允sett坛幻钾)).
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。