તે શાળામાં એક ગાણિતિક આધાર બને છે, તેના ઉદાહરણ પર ગાણિતિક તર્કશાસ્ત્રમાં કાયદા ખબર છે, ચકાસણી સંબંધો બિલ્ડ કરવા માટે ક્ષમતા દર્શાવે છે.