theorem :: TARSKI_0:1

for x being object holds x is set ;