the happy couple return to their lab and sing blissfully that- `` a system is -incomplete if all the strings in a pyramidal family are theorems , but the universally quantified summarising string is not a theorem . ''