સિદ્ધાંત માં, ઔપચારિક સાધનો ઉપયોગ કોઈપણ મુશ્કેલીઓ ઊભી કરવી જોઇએ.