존재하지 않는 존재가 여러 명 있을 때 어떻게 표현함?

[익명(106.101)]

가령 '현재의 두 프랑스 왕은 대머리이다'를 어떻게 표현함?

∃x∃y(Kx&Fx&Ky&Fy&x=/=y&∀z((Kz&Fz)->(z=x or z=y)&Bx) 맞음?

[익명(180.83)]

저 문장이면 시제를 써야 함