Közben előkotortam a polcról a jegyzeteimet. Németi István és Andréka Hajnal voltak az előadók. Az elemi axiómarendszer neve GenRel volt, erről szólt minden. Ha érdekel:
https://indico.kfki.hu/event/166/
http://hps.elte.hu/jovo_html/35948265.html
----
Uff, én beszéltem.
(Winnetou)