[일반] 상수 선언하기, 구문 세우기, 공리 도입하기

[익명(89.187)]

• '아몬드는 맛있다.'가 공리인 형식 체계: https://cafe.naver.com/ihatemath/11824

• 러셀의 역설: https://cafe.naver.com/ihatemath/11764

• 부류의 정의: https://cafe.naver.com/ihatemath/11775

• 명령문에 진릿값을 부여할 수 있는가: https://gall.dcinside.com/m/logic/1594

디시인사이드는 글 수정하기가 은근히 불편해서 쓰레기 머학생 팬 카페에 글을 올렸어. 맨 위의 글을 봐 줘. 나머지 세 글은 참고하면 좋아.

[익명(156.146)]

논리학 갤러리 글:
https://m.dcinside.com/board/logic/1595