આપણે શું જાણીએ છીએ તે જાણવું જોઈએ, કાં તો સૂત્રો અથવા અન્ય પ્રમેયો દ્વારા, અને તે આપણે શું સાબિત કરવાનો પ્રયાસ કરી રહ્યા છે.