(gr. theorema, syn, skådande), inom logik och matematik en sats som kan bevisas i ett axiomatiskt system, dvs. som följer logiskt från systemets [[axiom]] eller, om systemet är formaliserat, som kan härledas från axiomen med hjälp av systemets slutledningsregler.