Θεωρία (μαθηματική λογική)