Sziasztok!
Tudtok olyan matematikai/pénzügyi modellt, amiben definiálni lehet a pénzügyi eszköz (financial asset) fogalmát? 

Szeretném modellezni a pénzügyi eszközöket, ebben a modellben definiálni az arbitrázs fogalmát, és a nemteljességi tételhez hasonló állítást bizonyítani arbitrázsra, konkrétan valami olyasmi tételt, hogy eléggé kifejező pénzügyi modellben soha nem tudjuk bizonyítani az arbitrázsmentességet.

Szerintetek van értelme ilyen kutatásba fogni, vagy a nemteljességi tételnek ilyen "alkalmazása" nem használható semmire?

(Értsétek úgy, hogy nemteljesség sincsen másodrendű logikában, csak elsőrendűben, és ha a való életben magasabbrendű logikát alkalmaznak, akkor felesleges ilyeneket bizonyítani.)