ફ્રેગે અને રસેલ દ્વારા વિકસિત ઉચ્ચ ક્રમમાં લૉજિકલ સિસ્ટમ્સમાં તેઓ જણાવે છે કે, દરેક ખુલ્લા સૂત્ર માટે, તે દરેક જટિલ કેવી રીતે જટિલ છે, તે એક સૈદ્ધાંતિક સિદ્ધાંત છે, સૂત્રને સંતોષવા માટે તે વસ્તુઓના ઉદાહરણમાં એક તત્વ કે એક ખ્યાલ અસ્તિત્વમાં છે.