Đặt câu với từ "predicative arithmetic"