Hacker News Reader

Lambda calculus.

this is not language

"Lambda calculus is an extremely simple yet Turing complete language, ..." - https://en.wikipedia.org/wiki/Lambda_calculus

...is formal system in mathematical logic

The asker never asked for 'programming languages'. Someone could have responded 'Mandarin'. Any language goes.

EDIT: Someone did!