Η βάση για την ανάλυση διαστάσεων. Το θεώρημα δηλώνει ότι μια εξίσωση για ένα φυσικό σύστημα που μπορούν να εγγραφούν f (₁ Q, Q ₂,. . . , Q _m) = 0 μπορεί επίσης να γραφεί ως g ( π ₁, π ₂,. . . , Π _m − n) = 0 όπου Q _μου είναι m διαστάσεων παραμέτρους, αριθμών και μεταβλητές, Π _μου είναι m − n nondimensional ποσότητες. και n είναι ο αριθμός των θεμελιωδών διαστάσεων μονάδων.