לוגיקה מתמטית – הבדלי גרסאות