Comment by j88439h84

> formalization of non-observable entities.

Like most of mathematics and computer science?