Gauss (Werke, Bd. 8, S. 241 und 244) spricht in zwei Briefen an Gerling sein Bedauern darüber aus, daß gewisse Sätze der Stereometrie von der Exhaustionsmethode, d.h. in der modernen Ausdrucksweise von dem Stetigkeitsaxiom (oder von dem Archimedischen Axiome) abhängig sind. Gauss nennt besonders den Satz von Euklid, daß dreiseitige Pyramiden von gleicher Höhe sich wie ihre Grundflächen verhalten. Nun ist die analoge Aufgabe in der Ebene vollkommen erledigt worden (vgl. außer der früheren Litteratur, Hilbert, Grundlagen der Geometrie, Leipzig 1899, Kapitel IV); auch ist es Gerling (Gauss's Werke, Bd. 8, S.242) gelungen, die Volumengleichheit symmetrischer Polyeder durch Zerlegung in congruente Teile zu beweisen. Dennoch erscheint mir der Beweis des eben genannten Satzes von Euklid auf diese Weise im allgemeinen wohl nicht als möglich und es würde sich also um den strengen Unmöglichkeitsbeweis handeln. Ein solcher wäre erbracht, sobald es gelingt, zwei Tetraeder mit gleicher Grundfläche und von gleicher Höhe anzugeben, die sich auf keine Weise in congruente Tetraeder zerlegen lassen und die sich auch durch Hinzufügung congruenter Tetraeder nicht zu solchen Polyedern ergänzen lassen, für die ihrerseits eine Zerlegung in congruente Tetraeder möglich ist.

Hilbert's Problems, English.   Hilberts Probleme, deutsch.