Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03638019n
Noun Concept
Categories: Assiomi
IT
schema di assiomi  schema assioma
IT
In logica matematica si chiama schema di assiomi una scrittura simbolica che rappresenta schematicamente delle regole di costruzione per un insieme di formule ben formate che si intende includere tra gli assiomi di una teoria proposizionale o del primo ordine. Wikipedia
Definitions
Relations
Sources
IT
In logica matematica si chiama schema di assiomi una scrittura simbolica che rappresenta schematicamente delle regole di costruzione per un insieme di formule ben formate che si intende includere tra gli assiomi di una teoria proposizionale o del primo ordine. Wikipedia
IS A
metaclasse
HAS KIND
schema di assiomi di rimpiazzamento
HAS INSTANCE
EN
Axiom schema of predicative separation
schema di assiomi di specificazione
schema di assiomi di rimpiazzamento
Wikipedia
IT
schema di assiomi
Wikidata
IT
Schema di assiomi
Wikipedia Translations
IT
schema assioma

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License