I would rewrite the conclusion of the proof as follows, curious to see if you would endorse this:
Either there are no perfect properties, or God exists.
To me, this makes it much more clear that this is a pretty continent claim on there being perfect properties. I realize it was just one of a list of axioms, but it seems like a natural one to be skeptical of if you were trying to translate this into the real world.
This was fun to read through!
I would rewrite the conclusion of the proof as follows, curious to see if you would endorse this:
Either there are no perfect properties, or God exists.
To me, this makes it much more clear that this is a pretty continent claim on there being perfect properties. I realize it was just one of a list of axioms, but it seems like a natural one to be skeptical of if you were trying to translate this into the real world.
Yeah seems like the most doubtful one to me too.