ઓ વિશ્લેષણ, સૌથી ઔપચારિક સામગ્રી છતી કરવી અને ઔપચારિક તર્કશાસ્ત્રના કહેવામાં આવે છે.