[VideCorSpoon]

Originally Posted by pam69ur

all irrelevant

as colin ****** dean has noted

ZFC cannot prove anything as it has statements which cant be proven

in ZFC if there are statements which canot be proven -like the once Taniyama–Shimura conjecture- then ZFC cant be used to prove anything but only give conjectures


if it applies to wiles proof
it then applies to ZFC
ie with out proof of all the statements -ieTaniyama–Shimura conjecture- then ZFC cant proove anything

if wiles gave a proof using an unproven Taniyama–Shimura conjecture-mathematicians would have said he did not give a proof as one of his statements was itself unproven

so
mathematicans must then say ZFC cant give any proof as some of its statements are unproven
VERY SIMPLE
what applies to wiles must then apply to ZFC

Here we go again...