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