Các cuộc biểu tình được xây dựng như chuỗi suy luận từ báo cáo đúng sự thật. Tuy nhiên, các nhà toán học tương thích các cuộc biểu tình nhằm thúc đẩy sự hiểu biết về lý do cho sự thật (lý do tại sao điều này là đúng?) Đối với tính đầy đủ chính thức với.
đang được dịch, vui lòng đợi..
