Lindström’s theorem

Created
Created
2021 Apr 30 17:49
Tags
Tags
Language
Language
JavaScript
린드스트룀 정리
1차 술어 논리는 (가산) 콤팩트성 정리와 하향 뢰벤하임-스콜렘 정리를 만족시키는 가장 강력한 논리 체계

Recommendations