I think so, yes. You start with axioms, and the proof follows from those. You can argue whether that’s interesting or not, but IMO it’s as much a proof as anyt

I think so, yes. You start with axioms, and the proof follows from those. You can argue whether that’s interesting or not, but IMO it’s as much a proof as anything can be, and IMO it’s very interesting.