> -- Сергей Губанов писал(а):
> всё равно для доказательства непротиворечивости формальной арифметики придётся использовать средства невыразимые в формальной арифметикеВы имеете в виду отладку ПО "методом эксплуатации"?