  Many economic theory models incorporate finiteness assumptions that, while
introduced for simplicity, play a real role in the analysis. We provide a
principled framework for scaling results from such models by removing these
finiteness assumptions. Our sufficient conditions are on the theorem statement
only, and not on its proof. This results in short proofs, and even allows to
use the same argument to scale similar theorems that were proven using
distinctly different tools. We demonstrate the versatility of our approach via
examples from both revealed-preference theory and matching theory.
