Темные целые

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