А ковер Серпинского - квадрируемая фигура?
Да, у него нулевая площадь.
А вот предыдущее множество -- действительно не квадрируемо. Только не "по критерию", а "по определению". В него можно вписать лишь конечный набор точек, описать же -- минимум сам квадрат, т.е. разница между вписанными и описанными фигурами не может быть сколь угодно малой.
(Речь о квадрируемости, а не об измеримости.)