実証・反証はペラ域世話 メタ域は実・反証無理 - -;