axiom scheme - translation to ρωσικά
DICLIB.COM
AI-based language tools
Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:     

Μετάφραση και ανάλυση λέξεων από τεχνητή νοημοσύνη

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

  • πώς χρησιμοποιείται η λέξη
  • συχνότητα χρήσης
  • χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
  • επιλογές μετάφρασης λέξεων
  • παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
  • ετυμολογία

axiom scheme - translation to ρωσικά

A FORMULA IN THE METALANGUAGE OF AN AXIOMATIC SYSTEM IN WHICH ONE OR MORE SCHEMATIC VARIABLES APPEAR
Axiom scheme; Axiom schemata; Axiom-scheme; Finite axiomatization

axiom scheme         

математика

система аксиом

finite axiomatization         

математика

конечная аксиоматизация

comprehension axiom         
AXIOM SCHEMA
Axiom of specification; Axiom of separation; Axiom schema of separation; Axiom schema of comprehension; Axiom of comprehension; Unrestricted comprehension; Axiom of abstraction; Axiom of subsets; Axioms of subsets; Subset axiom; Axiom schema of restricted comprehension; Comprehension axiom; Aussonderungsaxiom; Axiom schema of unrestricted comprehension; Unrestricted comprehension principle

математика

аксиома выделения

Ορισμός

Axiom of Comprehension
<mathematics> An axiom schema of set theory which states: if P(x) is a property then x : P is a set. I.e. all the things with some property form a set. Acceptance of this axiom leads to Russell's Paradox which is why Zermelo set theory replaces it with a restricted form. (1995-03-31)

Βικιπαίδεια

Axiom schema

In mathematical logic, an axiom schema (plural: axiom schemata or axiom schemas) generalizes the notion of axiom.

Μετάφραση του &#39axiom scheme&#39 σε Ρωσικά