પછી એબ્સ્ટ્રેક્શન સિદ્ધાંત આવે છે: જો સેટ એ અસ્તિત્વમાં હોય, તો એ, A માં x માં બધા ઘટકો માટે, x એ સબસેટ A ને અનુસરે છે જે શરતને સી કરે છે C જો અને માત્ર ત્યારે જ સંતોષ સી મળે છે.