Vasilyeva Nastia: Во что мы верим, но не можем доказать: Интеллектуалы XXI века о современной науке kitobidan iqtibos. в стандартной теории, основанной на наборе аксиом,...

в стандартной теории, основанной на наборе аксиом, можно доказать, что арифметика лишена противоречий

Во что мы верим, но не можем доказать: Интеллектуалы XXI века о современной науке

Джон Брокман