语言
没有数据
通知
无通知
論証 > 健全性 健全性（けんぜんせい、英: Soundness）は、論証が次の属性を持つことと同値である。 その論証は妥当である。 その前提の全てが真である。 論理体系における証明（例えば自然演繹）が健全（sound）であるとは、妥当な論理式（あるいは恒真式）のみを証明することを意味する。すなわち、論理体系が健全であるとは、
(1)体や精神に悪いところがなく， 元気なさま。
〖test〗
不健全性的行為（ふけんぜんせいてきこうい）とは、「少年に健全育成上支障がある」と主張される性的行為を指す語。場合によって不純異性交遊（ふじゅんいせいこうゆう）、不純異性交際（ふじゅんいせいこうさい）、性的逸脱行為（せいてきいつだつこうい）などとも通称されることがある。これらの語は性的自由の制限を肯定する立場から使用されることもある。
全実性（ぜんじつせい、英: holocarpy）は菌学などで用いられる用語であり、栄養体（通常時の体）の全体が遊走子嚢など生殖器官になる性質のことである。一方、栄養体の全体ではなく一部が生殖器官になる性質は、分実性（ぶんじつせい、英: eucarpy）とよばれる（図1）。
[脚注の使い方] ^ セクシュアリティあるいはセクシュアルの部分はそれぞれセクシャリティ、セクシャルとも表記。 性的指向 異性愛（ヘテロセクシュアル） 同性愛（ホモセクシュアル） 両性愛（バイセクシュアル） 多性愛（ポリセクシュアル） 無性愛（アセクシュアル） 非性愛（ノンセクシャル） 表示 編集
培養することによって脱分化させると、カルスという未分化の細胞群が得られる。このカルスは不定芽や不定根といった器官を経由することによって完全な一個体を形成することができる。このため植物細胞は全能性を容易に発揮する。 皮膚の細胞のような通常の動物細胞は培養
ゲーデルが証明したゲーデルの完全性定理は、一階述語論理が意味論的完全性の意味で完全であるとする。 同じくゲーデルが証明した有名な不完全性定理は、自然数論についてのある理論が後者の意味では完全ではなく、 完全であるように拡張することも（超越的な操作抜きには）できないことを示した。現在では、不完全性
搜索 
搜索 搜索 
