可算性と推移性の定義