Истина, которая всем известна еще со средней школы на самом деле - теорема, которая требует доказательства. Сегодня хочу Вам показать простое, но вместе с тем изящное доказательство этого фундаментального утверждения...

«Совершенно ясное и строгое понимание дедуктивных схем пришло лишь в начале XX столетия. В основном это заслуга великого немецкого математика Гильберта. В несколько огрублённой и упрощённой форме дело обстоит примерно так...