Undefinability theorem