>>842
キョンは案外インテリな高校一年生なのでは。
少なくとも高１でトートロジーなどという言葉は知らなかった。

大学で数理論理学を習うまでは知らなかった。
それも命題論理の完全性の証明までだったが。

ゲーデルの不完全性定理は興味を持った好き物学生が独自に参考書を読んでいたようだが。