аксиома
аксиома, постулат Например: to take as an axiom — принимать в качестве аксиомы
имя существительное аксиома, постулат Например: to lay down an axiom — сформулировать аксиому, выдвинуть постулат We accept the axiom that a straight line is the shortest distance between two points. — Мы принимаем аксиому, гласящую, что кратчайшее расстояние между двумя точками есть прямая, их соединяющая. Синоним(ы): principle
имя существительное 1) методология науки аксиома (отправное, исходное положение како-л. теории, лежащее в основе доказательств других положений этой теории) 2) общая лексика (бесспорная, не требующая доказательств истина)
noun Etymology: Latin axioma, from Greek axiōma, literally, something worthy, from axioun to think worthy, from axios worth, worthy; akin to Greek agein to weigh, drive — more at agent 1. a maxim widely accepted on its intrinsic merit 2. a statement accepted as true as the basis for argument or inference; postulate 1 3. an established rule or principle or a self-evident truth
A commercially available subset of the Scratchpad, symbolic mathematics system from IBM.
A well-formed formula which is taken to be true without proof in the construction of a theory. Compare: lemma.