This simplified approach is also more suitable for use by mathematicians who are not specialists in model theory or logic.
這種簡化的方法也更適合專業不在模型論或邏輯的數學家。