トリビアル
論理学において
矛盾からは何でも求めてもOK
何でも推論可能