Point 3 doesn’t make sense to me. Just because Godels incompleteness theorem exists, does not mean you cannot prove this theorem itself. It has in fact already

Point 3 doesn’t make sense to me. Just because Godels incompleteness theorem exists, does not mean you cannot prove this theorem itself. It has in fact already been proven in theorem provers, so this completely undermines Penrose’s point