Deduction and Definability in Infinite Statistical Systems