Математические предложения

Изучая реальные процессы, математика описывает их, используя как естественный словесный язык, так и свой символический. Описание строится при помощи предложений. Но чтобы математические знания были достоверными, правильно отражали окружающую нас реальность, эти предложения должны быть истинными. Как узнать, истинное или ложное знание заключено в том или ином математическом предложении? На этот и другие вопросы  дает ответ математическая логика.