2. tétel: a képzelet határa az ismeret
Abban az esetben, ha az egyén számára a következő két élőlény-fajta létezése ismeret:
- növény
-ember
a képzelete révén mindössze három típusú élőlényt képes elképzelni:
1. a képzeletével előállított élőlény egy "növény"
2. a képzeletével előállított élőlény egy "ember"
3. a képzeletével előállított élőlény egy "növény/állat" hibrid, amely az " ember" és a "növény" halmaz önkényes és tetszőleges arányban kevert képességeivel/tulajdonságaival lett elképzelve.
Mint az egyszerűen belátható, az "ember" és a "növény" halmaz egyedeinek ismeretében nem lehetséges elképzelni egyetlen sast, bálnát, elefántot, vagy csigát sem.
Az emberek, illetve a növények halmaz alapján egyetlen "állat" típusú sem képzelhető el, azaz nem hozható létre az "állatok" halmaz.
(Egy 10 centiméter átmérőjű, kék színű, vasból készült golyó alapján kizárólag 10 centiméter átmérőjű, kék színű vasgolyók képzelhetőek el.)
Abban az esetben, ha az egyén mindössze három típusú élőlényt ismer:
- növény ("A" halmaz)
-állat ("B" halmaz)
-ember ("C" halmaz)
a képzelete révén kizárólag az alábbi hét típusú lényt képes kitalálni:
- növény ("A" típusú halmaz eleme)
-állat ("B" típusú halmaz eleme)
-ember ("C" típusú halmaz eleme)
- növény/állat hibrid ("A"-"B" halmaz eleme)
-növény/ember hibrid ("A"-"C" halmaz eleme)
állat/ember hibrid ("B"-"C" halmaz eleme)
- növény/állat/ember hibrid ("A"-"B"-"C" halmaz eleme)
További lehetőség nincs.
Bizonyításra került, hogy a képzelet határa az ismeret, a fenti szabály ugyanis a halmazok (típusok) számától függetlenül, tetszőleges esetben igaz.
Ezzel a 2. tétel bizonyítása megtörtént.