명확하고 엄격하며 철저한 박람회 :
* 제안 계산량
* 술어의 미적분
* 이론 세트
* 연속성과 해당 자연의 다른 종류의 다른 종류의 다른 종류의 다른 종류의번호 : 추기경, 서수, 합리적, 실제, 복합체, 하이퍼 복합 및 트랜스 피지
* 추기경 산술의 세트 이론적 인 토대 및 다양한 일반화
* 공식 언어의 성격
* 대각선 화불완전 함
* 논리의 성격과 공식적인 진리의 성격과
* 주어진 공제 시스템의 불완전 성의 증거.
9Apps 4.9
![국세청 홈택스 [손택스] on 9Apps](https://go.getnew.app/sg/res/jpg/f7/df/69cc2f90120ec331db2630e0f5b6-6dh.jpg?x-oss-process=style/jmq200)
