About: Independence (mathematical logic)

Property	Value
dbo:description	wiskundige logica (nl) imposibilidad de demostrar o refutar un predicado a partir de otros predicados (es) noțiune din logica matematică (ro) term in mathematical logic (en) termine in logica matematica (it)
dbo:thumbnail	wiki-commons:Special:FilePath/Euclidian_and_non_euclidian_geometry.png?width=300
dbo:wikiPageExternalLink	https://archive.org/details/mathematicallogi00jdon
dbo:wikiPageWikiLink	dbr:Chapman_&_Hall dbr:Suslin's_problem dbc:Proof_theory dbr:Sentence_(mathematical_logic) dbr:Zermelo–Fraenkel_set_theory dbc:Mathematical_logic dbr:Geometry dbr:List_of_statements_independent_of_ZFC dbr:Continuum_hypothesis dbr:Parallel_postulate dbr:Mathematical_logic dbr:Addison-Wesley dbr:Undecidable_problem dbr:Axiom_of_choice dbr:Large_cardinal dbr:AD+ dbr:Decision_problem dbr:Kurepa_tree dbr:Axiom_of_determinacy dbr:Axiom_of_real_determinacy dbr:Springer-Verlag dbr:Theory_(mathematical_logic) dbr:Strongly_inaccessible_cardinal
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Citation dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Proof_theory dbc:Mathematical_logic
rdfs:label	Independence (mathematical logic) (en) Independència (lògica) (ca) Nezávislé tvrzení (cs) Independencia (lógica matemática) (es) Indépendance (logique mathématique) (fr) Onafhankelijkheid (wiskundige logica) (nl) Независимость системы аксиом (ru) Independência (lógica matemática) (pt) Oavgörbar (sv) Незалежність системи аксіом (uk)
owl:sameAs	freebase:Independence (mathematical logic) wikidata:Independence (mathematical logic) dbpedia-nl:Independence (mathematical logic) dbpedia-fr:Independence (mathematical logic) dbpedia-pt:Independence (mathematical logic) dbpedia-he:Independence (mathematical logic) dbpedia-es:Independence (mathematical logic) dbpedia-ru:Independence (mathematical logic) dbpedia-sv:Independence (mathematical logic) dbpedia-ca:Independence (mathematical logic) dbpedia-cs:Independence (mathematical logic) dbpedia-hy:Independence (mathematical logic) dbpedia-simple:Independence (mathematical logic) dbpedia-uk:Independence (mathematical logic) dbpedia-global:Independence (mathematical logic) dbr:Independence (mathematical logic)
prov:wasDerivedFrom	wikipedia-en:Independence_(mathematical_logic)?oldid=1241252034&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Euclidian_and_non_euclidian_geometry.png
foaf:isPrimaryTopicOf	wikipedia-en:Independence_(mathematical_logic)
is dbo:wikiPageDisambiguates of	dbr:Independence_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Logical_independence dbr:Logically_independent dbr:Independence_result dbr:Independent_(Set_theory) dbr:Independent_(mathematical_logic) dbr:Unprovable
is dbo:wikiPageWikiLink of	dbr:Timeline_of_mathematics dbr:Axiomatic_system dbr:Non-well-founded_set_theory dbr:P_versus_NP_problem dbr:Paul_Cohen dbr:Synthetic_geometry dbr:Diamond_principle dbr:Suslin's_problem dbr:Consistency dbr:Mathematical_proof dbr:Number_line dbr:Set_(mathematics) dbr:Cardinality dbr:Suslin_tree dbr:Independence_(disambiguation) dbr:Conjecture dbr:Decidability_(logic) dbr:Gödel's_incompleteness_theorems dbr:Set-theoretic_topology dbr:Undecidable dbr:Mikhail_Suslin dbr:Preorder dbr:Goodstein's_theorem dbr:Zermelo–Fraenkel_set_theory dbr:1964_in_science dbr:Norwood_Russell_Hanson dbr:Information_retrieval dbr:Boolean_algebra_(structure) dbr:Meaning_(philosophy) dbr:Foundations_of_geometry dbr:Truth dbr:List_of_statements_independent_of_ZFC dbr:Forcing_(mathematics) dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Miklós_Ajtai dbr:Cantor's_first_set_theory_article dbr:Continuum_hypothesis dbr:Parallel_postulate dbr:Robertson–Seymour_theorem dbr:Whitehead_problem dbr:Model_theory dbr:1963_in_science dbr:History_of_the_function_concept dbr:Trade-off_talking_rational_economic_person dbr:Axiom_of_regularity dbr:Undecidable_problem dbr:Ramified_forcing dbr:Axiom_of_choice dbr:Foundations_of_mathematics dbr:Independent dbr:Constructive_set_theory dbr:Boolean-valued_model dbr:Strong_measure_zero_set dbr:Generic_filter dbr:Quantum_indeterminacy dbr:Self-refuting_idea dbr:Outline_of_logic dbr:An_Introduction_to_the_Philosophy_of_Mathematics dbr:Ultrafilter_(set_theory) dbr:Logical_independence dbr:Logically_independent dbr:Independence_result dbr:Independent_(Set_theory) dbr:Independent_(mathematical_logic) dbr:Unprovable
is foaf:primaryTopic of	wikipedia-en:Independence_(mathematical_logic)