ポアンカレよそう【ポアンカレ予想】 ポアンカレが提出した「基本群が単位元のみからなる三次元閉多様体は三次元球面と同相か」という予想。まだ完全には解決されていない。