તેનું સાર એ સંખ્યાઓ વચ્ચેના લોજિકલ સંબંધોનાં નિયમો છે: સંયોજન, વિયોજન અને અન્યો, જે અંકગણિતમાં સંખ્યામાં જાણીતા મૂળભૂત સંબંધો જેવા જ છે - ગુણાકાર, વધુમાં, વગેરે.