Философия и логика: суть математического доказательства