Buy Me a Coffee at ko-fi.com

Epsilon calculus

logical calculus with a primitive symbol that denotes an arbitrary value satisfying a given predicate or, if no such value exists, another arbitrary value

Pronunciation
/ˈɛpsɪlɒn ˈkalkjʊləs/
/ˈɛpsɪˌlɑn ˈkælkjələs/