| ゲームの開始と終了 |
| 用語 | 意味 | 略 | おまけ |
| ＩＣＧ | ゲーム開始 | I will Callenge the Game | ｏ（＾−＾）ｏ始めるよ〜 |
| ＩＷＧ | ゲーム勝利 | I Won the Game | ＼(*^▽^*)/勝ったー |
| ＩＬＧ | ゲーム敗北 | I Lost the Game | （_ _，）/~~ コウサン |
| ゲーム中で使う記号 |
| 用語 | 意味 | 解説 | おまけ |
| Ｕ： | ユニバース定義 | ゲーム内での価値観のことで特に指定のない場合、無名世界観の常識および現代科学 | 物理法則を決めるときに良く用いられる |
| 沈黙の型 | ユニバース定義の一つ | U:で特に指定が無い場合の無名世界観の常識および現代科学のこと | 暗黙の了解 |
| f： | 函数（function） | Ａ＝Ｂを証明するときに使う・定義を作る | f:メガネ＝フレームとガラスでできている＝落とすと割れる |
| f:側面 | ｆ:の一つ | Ａ＝Ｂ、Ｂ＝ＣならばＡ＝Ｃが導き出せる | このような副次効果もある・f:ヤガミは普段は素直ではない＝側面：ツンデレ |
| f:追記 | ｆ:の一つ | 以前に提出したf:の追加証明 | f:ヤガミはツンデレ＝追記：好きな人にはデレる |
| ， | 列挙 | 複数の事項を列挙する場合に使用し ，で区切られた項目はそのまま側面として扱う | Ａ＝Ｂ,Ｃ,Ｄと記載する |
| ＝ | イコール | Ａ＝Ｂなら両者が等しいこと | 決まっていること＝自分が証明したいこと でよく書かれる |
| ← | 代入 | ＝の代わりに使用し、←の左にあるものを変数、右にあるものを代入する | 複数あるもの←自分が決めたいもの（例：空の色←夕焼けの橙） |
| ゲーム中で使う記号２ |
| 用語 | 意味 | 解説 | おまけ |
| Ｌ： | ライブラリ（Library） | ゲーム内のｔl!の集合 | 文頭でL:＝｛｝で記載しゲームで扱える法則を列挙する |
| ｔ： | theorem | 定理 | 自明の法則又は通ったf:のこと |
| ｌ： | local | そのゲーム内だけの定義（f:と用い方は同じだが、通ってもｔ：にはならない） | 他のゲームに引用できない |
| ｌ！： | ??? | ｌで証明されるゲーム内でのｔ:のこと | 他のゲームに引用できない |
| ゲーム中で使う記号３ |
| 用語 | 意味 | 解説 | おまけ |
| まとめ | まとめ | ｔ：やｌ！：で証明されたことを集めて日本語に要約したものもの | これが通るとそのルールは完成する |
| ｛｝ | 集合 | ｛の前に入る任意文字列のことについて定めたもの | ｔ：やｌ！：の集まりを纏めたもの |
| ＜＞ | 参照 | 参照及び引用 | 他のｔ：ｌ！：を行内に入れる際に使用し 参照：＜ｔ：ＸＸＸＸ＞ と記載する | |
| ／＊／ | 区切り | 読みやすいようにつける区別のためのくくり | 場面転換 |
| “” | くくり | 分りづらい場合につける区別のためのくくり | 意味は特に無い |
| （ｎ） | 番号 | ｆ：やｔ：に識別名や識別番号を与える | f（a１）：と書くが、識別以上の意味は無い為、aにはPLの頭文字を入れることが多い |
| （ＴＡＢ） | レベル及び列挙 | 左辺行頭に使われる場合は函数のレベルを、右辺の場合は列挙と同じように扱う | 函数のレベルは↓を参照 |
| 函数のレベル | 複雑さ | その函数・定理が最初の函数・定理からどれだけ離れているかを示すことば | １から始める |
| 会話・質問 |
| 用語 | 意味 | 説明 | おまけ |
| Ｑ： | 質問 | 芝村さん、又はマスターへの質問 | 他プレイヤーは答えない |
| Ａ： | 回答 | 芝村さん、又はマスターからの回答 | 他プレイヤーは答えない |
| ？： ＝ | 依頼 | 他のプレイヤーへの依頼 | 左に質問。右辺を空欄にして他プレイヤーに埋めてもらう（芝村さん/マスターは回答しない） |
| ＃： | コメント | 芝村さんからの回答を必要としない会話・雑談 | 質問は含まない |
| ゲーム中で使う単語 |
| 用語 | 意味 | 解説 | おまけ |
| 通る | 可能 | できること | できる・可能・ＹＥＳ |
| 通らない | 不可能 | 文章が間違っている/無名世界観のルールに合致しない | できないこと・不可能・ＮＯ |
| 十分条件を満たしていない | 説明不足 | プレイヤーが情報を持っていない/証明が足りない | アプローチを変えると不可能ではない |