Тот факт, что доказательство теоремы заключается в применении таких-то простых логических правил, не оказывает ни малейшего влияния на творческое начало в математике, роль которого - делать выбор из бесконечного множества возникающих возможностей [162, с. 39].
