A rendszer- vagy függvénylogika az elemi összefüggések logikája, ezért alkalmas minden meghatározás vagy axióma vizsgálatára, amelyben összefüggések szerepelnek. Alkalmas annak kimutatására, hogy egy meghatározásban valóban csak elemi összefüggések szerepelnek-e, vagy származékos összefüggések is. Továbbá arra is, hogy a származékos összefüggések alkalmazása nem fedett-e el valamely figyelembe nem vett elemi összefüggést. Összefoglalva: a függvénylogika segítségével kimutatható, hogy […]