Trong toán học, các cuộc biểu tình được xây dựng theo phương pháp tiên đề dựa
ngày formalisation ngôn ngữ, trên công thức của nguyên thủy tiên đề và postulates, trên
tính mạch lạc và đầy đủ của lý thuyết phát triển. Cấu trúc của các cuộc biểu tình là
cứng nhắc và hạn chế. Nó là một chuỗi suy luận: từ nguyên tắc và định nghĩa trên
.khấu trừ kết quả là chúng tôi muốn chứng minh.
đang được dịch, vui lòng đợi..
![](//viimg.ilovetranslation.com/pic/loading_3.gif?v=b9814dd30c1d7c59_8619)