Principle of abstraction
http://dbpedia.org/resource/Principle_of_abstraction
The principle of abstraction is a grouping principle, whereby a hierarchy is adhered to with higher levels of abstraction placed near the top with more specific concepts underneath.
rdf:langString
Abstraktionsprincipen är en princip inom mängdteorin som handlar om hur vi får bilda mängder. Abstraktionsprincipen säger att vi för varje egenskap A kan bilda mängden av alla objekt som har denna egenskap. Beteckningen {x : A(x)} betyder mängden av alla x som har egenskapen A. Om till exempel egenskapen G är egenskapen att vara grön så är {x : G(x)} mängden av alla gröna objekt.
rdf:langString
rdf:langString
Principle of abstraction
rdf:langString
Abstraktionsprincipen
xsd:integer
11460830
xsd:integer
1023418914
rdf:langString
The principle of abstraction is a grouping principle, whereby a hierarchy is adhered to with higher levels of abstraction placed near the top with more specific concepts underneath.
rdf:langString
Abstraktionsprincipen är en princip inom mängdteorin som handlar om hur vi får bilda mängder. Abstraktionsprincipen säger att vi för varje egenskap A kan bilda mängden av alla objekt som har denna egenskap. Beteckningen {x : A(x)} betyder mängden av alla x som har egenskapen A. Om till exempel egenskapen G är egenskapen att vara grön så är {x : G(x)} mängden av alla gröna objekt. Trots sin vid första anblicken uppenbara enkelhet och självklarhet är abstraktionsprincipen falsk i mängdteorin, då den ger upphov till Russells paradox. Man kan alltså inte ha abstraktionsprincipen som ett axiom i en mängdteori, det skulle göra teorin motsägelsefull. I en axiomatisk mängdteori som ZFC byter man istället ut abstraktionsprincipen mot det något mer begränsande delmängdsaxiomet.
xsd:nonNegativeInteger
1122