На самом деле доказуемость ведь и не главное - главное опровержимость, разве нет? Просто потому что любое доказательство (не в математике) может быть дискредитировано, а вот опровержение - врядли.

За доброе пожелание (если оно доброе) спасибо.