Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Axiom schema
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
A formula in the metalanguage of an axiomatic system in which one or more schematic variables appear
Property
Value
dbo:
description
formula v metajeziku aksiomskega sistema, v kateri se pojavi ena ali več shematskih spremenljivk
(sl)
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear
(en)
En logique mathématique, notion qui généralise celle d'axiome
(fr)
dbo:
wikiPageExternalLink
http://matwbn.icm.edu.pl/ksiazki/fm/fm39/fm39119.pdf
dbo:
wikiPageWikiLink
dbr
:Property
dbr
:Axiomatic_system
dbc
:Formal_systems
dbr
:Richard_Montague
dbr
:New_Foundations
dbr
:Set_theory
dbr
:First-order_logic
dbr
:Axiom_schema_of_replacement
dbr
:Well-formed_formula
dbr
:Free_variable
dbr
:Metalanguage
dbr
:Mathematical_induction
dbr
:Axiom
dbc
:Mathematical_axioms
dbr
:Von_Neumann–Bernays–Gödel_set_theory
dbr
:Mathematical_logic
dbr
:Fundamenta_Mathematicae
dbr
:Natural_number
dbr
:Axiom_schema_of_specification
dbr
:Second-order_logic
dbr
:Czesław_Ryll-Nardzewski
dbr
:Recursive_definition
dbr
:Axiom_schema_of_predicative_separation
dbr
:ZFC
dbr
:Relation_(mathematics)
dbr
:Countably_infinite
dbr
:Peano's_axioms
dbr
:Schematic_variable
dbp:
wikiPageUsesTemplate
dbt
:Set_theory
dbt
:Reflist
dbt
:Sfn
dbt
:Cite_SEP
dbt
:Citation
dbt
:Citation_needed
dbt
:Mathematical_logic
dbt
:More_footnotes
dbt
:Short_description
dct:
subject
dbc
:Formal_systems
dbc
:Mathematical_axioms
rdfs:
label
Axiom schema
(en)
Axiomenschema
(de)
Schema di assiomi
(it)
Schéma d'axiomes
(fr)
公理型
(ja)
Schemat aksjomatu
(pl)
Axiomaschema
(nl)
Схема аксиом
(ru)
Аксіомна схема
(uk)
公理模式
(zh)
owl:
sameAs
yago-res
:Axiom schema
freebase
:Axiom schema
wikidata
:Axiom schema
dbpedia-it
:Axiom schema
dbpedia-nl
:Axiom schema
dbpedia-de
:Axiom schema
dbpedia-fr
:Axiom schema
dbpedia-zh
:Axiom schema
dbpedia-ja
:Axiom schema
dbpedia-ru
:Axiom schema
dbpedia-pl
:Axiom schema
dbpedia-hr
:Axiom schema
dbpedia-uk
:Axiom schema
dbpedia-global
:Axiom schema
prov:
wasDerivedFrom
wikipedia-en
:Axiom_schema?oldid=1258760905&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Axiom_schema
is
dbo:
wikiPageDisambiguates
of
dbr
:Schema
is
dbo:
wikiPageRedirects
of
dbr
:Axiom-scheme
dbr
:Axiom_schemata
dbr
:Axiom_scheme
dbr
:Finite_axiomatization
is
dbo:
wikiPageWikiLink
of
dbr
:Axiomatic_system
dbr
:Predicate_variable
dbr
:Abstract_object_theory
dbr
:Peano_axioms
dbr
:New_Foundations
dbr
:First-order_logic
dbr
:ST_type_theory
dbr
:Propositional_calculus
dbr
:Axiom_schema_of_replacement
dbr
:Robinson_arithmetic
dbr
:Propositional_formula
dbr
:Formal_system
dbr
:Mereology
dbr
:Epsilon-induction
dbr
:Metalanguage
dbr
:Zermelo_set_theory
dbr
:Zermelo–Fraenkel_set_theory
dbr
:Existential_theory_of_the_reals
dbr
:Index_of_philosophy_articles_(A–C)
dbr
:Presburger_arithmetic
dbr
:List_of_first-order_theories
dbr
:Implicational_propositional_calculus
dbr
:Mathematical_induction
dbr
:Interpretation_(logic)
dbr
:Axiom
dbr
:Von_Neumann–Bernays–Gödel_set_theory
dbr
:Chomsky_hierarchy
dbr
:Kripke–Platek_set_theory
dbr
:Axiom-scheme
dbr
:Axiom_schemata
dbr
:Axiom_scheme
dbr
:Hilbert_system
dbr
:Scott–Potter_set_theory
dbr
:List_of_mathematical_logic_topics
dbr
:Axiom_of_pairing
dbr
:Schema
dbr
:Axiom_schema_of_specification
dbr
:Universal_instantiation
dbr
:Tarski's_axioms
dbr
:Deduction_theorem
dbr
:Morse–Kelley_set_theory
dbr
:Dynamic_epistemic_logic
dbr
:Constructive_set_theory
dbr
:Boolean_algebras_canonically_defined
dbr
:Kripke–Platek_set_theory_with_urelements
dbr
:General_set_theory
dbr
:Quasi-quotation
dbr
:Outline_of_algebraic_structures
dbr
:Induction,_bounding_and_least_number_principles
dbr
:Finite_axiomatization
is
foaf:
primaryTopic
of
wikipedia-en
:Axiom_schema
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International