« Back to Glossary Indexэто утверждение, которое нужно доказать исходя из аксиом и ранее доказанных теорем.