>>407 追記
以前挙げた例だけど、道路標識は不完全でもいいが無矛盾である必要はある。