એક સુધારેલી પ્રણાલીમાં, ફક્ત તે નિષ્કર્ષ કરી શકાય છે કે ઑબ્જેક્ટ એક સેટ સાથે જોડાયેલો છે અને જો તે વ્યાખ્યાયિત સેટની કલ્પના હેઠળ આવે, અને પ્રશ્નમાં નહીં.