▽ thorem〔論理・数学〕不完全性定理《自然数論など論理矛盾のない公理形式では, 真とも偽とも証明できない命題・式が必ず存在するという定理；Gdel's 〜 theorum ともいう》.