Zapisać zdanie

[flak]

Korzystając z symboliki logicznej zapisać zdanie:

"Zbiór rozwiązań równania \(\displaystyle{ \tan x = x}\) w \(\displaystyle{ \Re}\) jest przeliczalny."

Czy to jest poprawna odpowiedź:

\(\displaystyle{ card \lbrace x \Re : \tan x = x \rbrace \aleph}\)

[max]

Raczej:
\(\displaystyle{ \{x\in \mathbb{R} \ : \ \tan x = x \} \mathbb{N}}\)

[flak]

Raczej:
\(\displaystyle{ \{x\in \mathbb{R} \ : \ \tan x = x \} \mathbb{N}}\)

Dziękuję!