Там база це аксіоми базової арифметики, не думаю що так легко перевести, проте це все моя не експертна думка. Загалом я згоден, ті хто мають лише поверхневі знання — скоротяться першочергово.
В мене є гроші, але все одно напрягає платити 80 євро за гру. Чисто з принципа не купляю, ставлю на відсліжування знижок і купляю тільки тоді, коли скидають ціну. Куди ще піднімати ціни?
По Геделю у будь-якій формальній системі починаючи з якогось початкового рівня логіки при фіксованій базі (скажімо аксіом) — будуть ствердження які неможливо і не довести і не спростувати. Але, по ідеї змінивши базу їх можливо перевести в стан доказовості-чи-спростування.
Коментарі