건전성 완전성 결정가능성 일관성 무모순성 완비성 조밀성 이걸 대충 5줄 읽고 이해하는 사람이 정신나간거지