slovodefinícia
axiom schema
(foldoc)		axiom schema

A formula in the language of an axiomatic system,
containing one or more. These metasyntactic variables (or
"schematic variables") that stand for terms or subformulae.
An example is the Axiom of Comprehension.

(2009-02-10)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4