Last Updated：2025/12/04
Girard's paradox shows that allowing certain type-forming operations can lead to inconsistency in some type systems.
See correct answer
Girard's paradox shows that allowing certain type-forming operations can lead to inconsistency in some type systems.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
