если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула))))
if formal arithmetic is consistent, then there exists an irreducible and irrefutable formula in it))))
У записи 1 лайков,
0 репостов.
0 репостов.
Эту запись оставил(а) на своей стене Татьяна Быкова
