【名前】オラクル・オフォスト・
ロジシャリアン ver.1
【属性】男の娘,神託,ショタ
【大きさ】0<本人&#8804;106.1 cm
【攻撃力】表現不可能関数を使って
再帰的に定義される如何なる
攻撃力より高い
【防御力】自分と敵対の攻撃力と能力で
無傷
【素早さ】誕生前関数を使って
再帰的に定義される如何なる
素早さより早く速い

【特殊能力】拡張
以下の言語で10^650個の
記号で書かれる能力のどれかを会得して
メタ並行考察し最もランキングの
上位に上がったのが真の彼である
最初に使う変数は本人と本人以外である

【メタ長所】高校生の俺でも思い付く
【短所】男の娘にして最強は寒い

1 a∈b a番目の表現はb番目の表現の
要素である
2 a=b a番目の表現はb番目の表現
に等しい
3 &#172;e テンプレeの否定
4 e∧f テンプレeとテンプレfの論理積
5 e∨f テンプレeとテンプレfの論理和
6 e⇒f テンプレeが真ならば
テンプレfは真である
7 all a(e) テンプレeが全てとなるように
a番目の表現を変えることができる
8 exist a(e) テンプレeが存在するように
a番目の表現を変えることができる
9 always a(e) テンプレeが必然と
なるように
a番目の表現を変えることができる
10 ability a(e) テンプレeが可能と
なるように
a番目の表現を変えることができる
11 a required b 表現aは表現bを
必要とする
12 a both_required b 表現aと表現bは
互いに必要とする
13 P(e,f) テンプレeはテンプレfにP
をさせることができる
14 banned a(e) テンプレeが無条件で
禁止となるように
a番目の表現を変えることができる
15 denotic a(e) テンプレeが
無条件で義務となるように
a番目の表現を変えることができる
16 a番目の表現とb番目の表現に対して
f(a)=bが成り立つ