Gödel's incompleteness theorems
『ゲーデルの不完全性定理』で学年が一つ上がっているが、これ以降に登場したリサ以外は、初登場時の学年を記載している。