린드스트룀 정리
1차 술어 논리는 (가산) 콤팩트성 정리와 하향 뢰벤하임-스콜렘 정리를 만족시키는 가장 강력한 논리 체계
Lindström’s theorem
Creator
Creator
Seonglae ChoCreated
Created
2021 Apr 30 17:49Editor
Editor
Seonglae ChoEdited
Edited
2024 Jul 29 8:57Refs
Refs
Language
Language
JavaScript