タルスキの不動点定理

Tarski's theorem