数えられることと、いずれの数えられたものとも合致しないことの等さ