Mathematical Logic and General Mathematical Systems