Ich denke, so wie Du es z.Zt formuliert hast wird es von den aller-, allermeisten Lesern akzeptiert werden, aber kritische Geister zweifeln entweder an sich selbst oder sie bezweifeln den Text. Deine Formulierung: "..kann aus dem nullten Hauptsatz mathematisch hergeleitet werden" ist aus den oben erwähnten Gründen zu weitgehend, wenn nicht auch die anderen Voraussetzungen und Einschränkungen genannt werden. ArchibaldWagner 11:12, 2. Mai 2020 (CEST)