Математические суждения: что это и как их формулировать