Any ideas?

Show that the set of all x such that x is in A and x is not in B exists.

Printable View

- September 7th 2009, 07:53 AMqwe123Axiom Question
Any ideas?

Show that the set of all x such that x is in A and x is not in B exists. - September 7th 2009, 08:23 AMTKHunny
Two things come immediately to mind:

1) Is B not A?

2) Define "exists". "Contains at least one element"? - September 7th 2009, 08:57 AMThePerfectHacker
- September 7th 2009, 09:46 AMTaluivren
Hi,

what are ? sets?

if they are sets, then the axiom schema of restricted comprehension, namely the axiom where is the formula , ensures existence of the set you described (just evaluate to be and to be )