Azt hiszem megtaláltam, hogy mi ez a rejtélyes más rendszer amit a Tanár Úr preferál: http://plato.stanford.edu/entries/epsilon-calculus/
Epszilon kalkulus a neve és Hilbert nevéhez köthető.