-
1 арифметически доказуемая формула
Русско-английский научно-технический словарь Масловского > арифметически доказуемая формула
-
2 арифметически доказуемый
Русско-английский научно-технический словарь Масловского > арифметически доказуемый
-
3 арифметически доказуемая формула
Mathematics: arithmetically provable formulaУниверсальный русско-английский словарь > арифметически доказуемая формула
-
4 арифметически доказуемый
Mathematics: arithmetically provableУниверсальный русско-английский словарь > арифметически доказуемый
См. также в других словарях:
Ω-consistent theory — In mathematical logic, an ω consistent (or omega consistent, also called numerically segregativeW.V.O. Quine, Set Theory and its Logic ] ) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not … Wikipedia
ω-consistent theory — In mathematical logic, an ω consistent (or omega consistent, also called numerically segregative[1]) theory is a theory (collection of sentences) that is not only (syntactically) consistent (that is, does not prove a contradiction), but also… … Wikipedia
Tarski's undefinability theorem — Tarski s undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium