Üks majandusartikkel, mis on minu jaoks väga huvitav, aga täiesti kasutu, on Lipman 1991 How to decide how to decide how to… Modeling limited rationality. See tõestab lahenduse olemasolu järgneva otsustusprobleemi jaoks.

Olgu meil mingid alternatiivid, mille hulgast me tahame optimaalse valida. Selleks tuleb valida parim valikumeetod, aga meetodi valik on omakorda otsustusprobleem. Tuleks valida parim meetod meetodi valikuks, parim meetod meetodi valiku meetodi valikuks, meetodi valiku meetodi valiku meetodi valikuks jne. Tegemist on lõpmatu rekursiooniga.

Lipman 1991 tõestab, et lahendus sellele valikute jadale eksisteerib, aga alles pärast lõpmatust (induktsioon ordinaalarvudel, mitte naturaalarvudel). Nii et kui me läheme lõpmatusest edasi, siis jõuame kunagi lahendini. Tõestus pole konstruktiivne, näitab ainult lahendi olemasolu, nii et lahendusalgoritmi see ei anna. Seetõttu on artikkel üsna kasutu.