言うなれば「あなた」(の論理性)が信用ならないのであってタイプ類型論自体が信用ならないのではないのです