The problem lies not with the form... but rather much deeper. Hilbert has scorned to present his thoughts following formal rules, he thinks it suffices that no one contradict his proof... he is content to think that the importance and correctness of his propositions suffice.
Hilbert ay scorned sa kasalukuyan ang kanyang mga saloobin mga sumusunod na mga pormal na mga patakaran, he thinks it suffices na walang isa barahin ng kanyang patunay... ay siya ang nilalaman sa isip na ang kahalagahan at kawastuhan ng kanyang mga propositions magkasiya.