সংগঠন (গাণিতিক যুক্তিবিজ্ঞান)