语言
没有数据
通知
无通知
(1)広く行き渡ること。
れるとあり、それはギリシア人のマケドニア王朝と明示されている。しかしエウセビオスが生きた2世紀後半から3世紀にはマケドニアは既に滅び、5番目の帝国・ローマ帝国の属州(マケドニア属州)となっていた。この問題に対してもエウセビオスは聖書に「解釈」を加え、メディアとペルシアを纏めて2番目の帝国と解説し、
数学において普遍性(英語: universality、または universal property)とは、ある特定の状況下において一意に射(あるいは準同型、構造を保つ写像)を定めるような抽象的性質で、それが特定の構成(例えば直積や直和、加群のテンソル積、距離空間の完備化など)を特徴づけるようなものをいう。
普遍主義(ふへんしゅぎ、英: universalism)とは、個別のもの、個別性・特殊性よりも、全てまたは多くに共通する事柄、普遍性を尊重・重視する立場。または、普遍者(全体)を個別者(個人)の上にあるとし、後者は前者との関係によってのみ存在することができ、意義を持つとする立場。反対は個体主義または
普遍汎化(ふへんはんか、英: Universal generalization, Universal introduction, GEN)は、述語論理において妥当な推論規則のひとつである。これは、もし ⊢ P ( x ) {\displaystyle \vdash P(x)} が導出されていれば、 ⊢
普遍例化(ふへんれいか、英: Universal instantiation)は、論理学において、あるクラスの全ての個体について真であることからそのクラスの特定の個体について真であると推論すること。全称量化子による量化規則で一般に表されるが、公理としても記述できる。これは、一階述語論理で使われる基本原則の1つである。
中世スコラ哲学において、普遍論争(ふへんろんそう、英: Problem of universals)とは、「普遍」(「普遍者」ともいう、英: universals) の実在に関する論争を言う。これと内容的に同じ議論が、古代から続いており、近代哲学や現代の哲学でも形を変えて問題となっているが、普遍概
数学の一分野としての普遍代数学(ふへんだいすうがく、英: Universal algebra)あるいは一般代数学(いっぱんだいすうがく、英: general algebra)は、構造の「モデル」となる例についてではなく代数的構造そのものについて研究する分野である。例えば、その研究対象として個々の群を