પ્રથમ મુખ્ય સામાન્ય અર્થમાં અને પરંપરાગત સ્થાપન માં, ઘણી વખત કહેવતો, કહેવતો અને એફોરિઝમ્સ વ્યક્ત, અને બીજા લોજિકલ સિસ્ટમ માટે સહજ નિર્ણાયાત્મક ઉપકરણ અને કાર્યવાહી પુરાવા અને તર્ક દ્વારા લાક્ષણિકતા છે.