In a sense. But it's interesting because naive set theory appears so simple and natural: it's a concrete example of how human ideas that seem platonic and invio

In a sense. But it's interesting because naive set theory appears so simple and natural: it's a concrete example of how human ideas that seem platonic and inviolate can actually be inconsistent. So it's less like finding a bug in a software framework and more like finding a bug in your understanding of how computers can work.