数学ガール
自己言及のパラドックス
論理クイズ
ペアノの公理 数学的帰納法
集合論 ラッセルのパラドックス ド・モルガンの法則
写像
0.999...
極限
形式的体系 論理式 公理 推論規則 証明と定理
イプシロン-デルタ論法 連続
可算集合
カントールの対角線論法
無矛盾性と完全性 第一不完全性定理 第二不完全性定理 ゲーデル数
同値関係 反射律、対称律、推移律
商集合
三角関数 単位円、弧度法
剰余、合同式
ヒルベルト計画
論理式
メタ数学
原始再帰的関数、述語
表現定理
ω無矛盾
しかし「僕」に教わりながら熱心に数学に取り組むテトラに対し徐々に親しく接するようになり、テトラがバーゼル問題を解くためのエレガントなアイデアを自力で思いついた姿を見てからは急速に仲良くなっていった。また、数学の話にちゃんとついてこようとするユーリのことも気に入っている。
数学の知識が非常に豊富で、作中においては「僕」・テトラ・ユーリへの指導役になることが多い。人に数学を教えることについてはかなり意識が高いようで、「僕」がテトラの解法の誤りをただ「ダメだ」と否定したときには蹴飛ばしながら「教師失格」だとたしなめたこともある。作中ではテトラやユーリのように何かを「ひらめく」ことはない。
問題を解いたときに、「はい、これで、ひと仕事おしまい」というのが口癖。
『ゲーデルの不完全定理』で「僕」を遊園地に誘い観覧車に乗った際、高所恐怖症である事を思わせる発言をする。
数学を元にメロディーをよく作曲する。ピアノを弾くことができ、昼休みの音楽室でエィエィと連弾することもある。
昼食はチョコレートしか食べない。よくキットカットを食べているが、テトラにいつもお昼はキットカットなのかと質問されたときはトリュフのときもあると答えている。
一人称は「私」。「僕」とテトラは「ミルカさん」、ユーリは「ミルカさま」、エィエィは「ミルカたん」、リサは「ミルカ氏」と呼ぶ。