証明可能性論理における難民のフォークロア