CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Axiom
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Axiom
rdfs:
subClassOf
owl:
Thing
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/List_of_axioms
is
rdf:
type
of
Rank-into-rank
Axiom of power set
Martin's axiom
Axiom of countable choice
Freiling's axiom of symmetry
Axiom of infinity
Axiom schema of replacement
Kuratowski closure axioms
Axiom of determinacy
Axiom of pairing
Axiom of extensionality
Axiom schema of specification
Axiom of countability
Dirac–von Neumann axioms
Gluing axiom
Separation axiom
Parallel postulate
Probability axioms
Haag–Kastler axioms
Axiom of regularity
Von Neumann–Bernays–Gödel set theory
Boolean prime ideal theorem
Continuum hypothesis
Axiom of empty set
Huzita's axioms
Wightman axioms
Archimedean property
Diamond principle
Axiom of projective determinacy
Hausdorff maximal principle
Peano axioms
Axiom of dependent choice
Axiom of union
Hilbert's axioms
Birkhoff's axioms
Zorn's lemma
Kripke–Platek set theory
Well-ordering theorem
Tarski's axioms
Axiom of constructibility
Uniformization (set theory)
Fundamental axiom of analysis