લોજિકલ સાધનો આનુમાનિક સિદ્ધાંત વપરાય કડક આ સાધનો આધારે બાંધવામાં પુરાવા તરીકે, નિયત કરવામાં આવે છે.