This axiom fails for the domain axiom X:Set Any Type: Void
axiom Y:Set Any Type: Void
axiom X:=["x"]
Type: Set(Any)
axiom Y:=["x"]
Type: Set(Any)
axiom (X=Y)::Boolean
Type: Boolean
and axiom X:=[1.0]
Type: Set(Any)
axiom Y:=[1.0]
Type: Set(Any)
axiom (X=Y)::Boolean
Type: Boolean
But notice that the following cases work: axiom X:=[1]
Type: Set(Any)
axiom Y:=[1]
Type: Set(Any)
axiom (X=Y)::Boolean
Type: Boolean
axiom Z:Set Union(String, Type: Void
axiom W:Set Union(String, Type: Void
axiom Z:=["x"]
Type: Set(Union(String,
axiom W:=["x"]
Type: Set(Union(String,
axiom (Z=W)::Boolean
Type: Boolean
... --kratt6, Fri, 28 Dec 2007 14:20:21 -0800 reply Category: Axiom Mathematics => Axiom Library
Status: open => closed
|