This consistency proof should preferably use only "finitistic" reasoning about finite mathematical objects.
Это доказательство согласованности должно предпочтительно использовать только «конечные» рассуждения о конечных математических объектах.