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 đề, mà dựa trên formalization ngôn ngữ, trên công thức của nguyên thủy tiên đề và postulates, trên sự gắn kết 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 được rút ra 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)