לוגיקה מתמטית – שפות אחרות