Смысл: формальное ядро, экспериментальная программа и граница доказуемости