If you aren't allowed to operate in a logical system with a concrete definition of "size", then you can't say things like "doesn't actually prove two infinite sets have different sizes". So the whole debate is moot.