Bölcs Árnyék féle halmazelmélet a variációszámítás részére:
1. axióma/: a halmaz váza =def egy szokásos halmaz elemeinek a halmaz vázának tartott dolgokat is felvehetjük !
pl. A:{ ',' , '{' , '}', ':' , ' ' ' }
2. axióma/: a halmaz jelzői =def egy szokásos halmaz elemeinek a halmaz fogalmainak tartott dolgokat is felvehetjük !
pl. B:{'halma', 'elem', 'legyen eleme', 'elemek menyisége', 'elemek indexe'}
3. axióma/: a fenti két axiómát egy rendezett kettesként foglalhatjuk egybe =def ...
pl. C = (A,B) .
Bölcs Árnyék féle halmazelmélet a variációszámítás részére, olyan halmazrendszerekkel foglalkozik, amelyek
1. a rendszer halmazelméleti alapokon nyugszik, és
2. felállítható rá egy a fenti 3. axiómának megfelelő rendezett kettes !
, ahol e váz és e jelzők általánosíthatók, ill. elvonttá is tehetők .