귀납법쓰는데 base step에 공허참을갈긴다던지

1차논리는 완전한동시에 무모순이어서 힐베르트가김칫국마시는데한몫햇다던지 (이걸완전성정리라고하는데 쿠르트괴델의박사학위논문주제엿다고하네요)

수학참재밋는듯