આ શબ્દ "સિદ્ધાંત તર્કશાસ્ત્ર" define માટે, તે એક "વિધાન" શું સ્પષ્ટ રીતે સમજવા માટે જરૂરી છે.