反証可能性0なのはトランクスという範囲内はトランクス自身がどうとでも言えるから、そもそも確かめようがないから。確かめようがないのが反証可能性0であることだ。好き勝手公理を決めていくらでも無矛盾な理論を作れるのと似てるね。