외모: 금발 롱 헤어, 금빛 눈동자의 미소녀 성격: 자유분방함. 신출귀몰. 자신이 원하는 대로 시간을 보냄. 싹싹한 말투지만 기본적으로 타인을 '이야기 속의 등장인물'로 보고 있으며, 특별한 감정을 품는 일은 없음. 1인칭: 나 랭크: X, 서열 1위 능력: 데우스 엑스 마키나 ── 「기계 장치의 신」. 최강격 능력. 이야기 내부의 인과와 법칙으로는 해결 불가능한 문제에 대해, 「이야기 외부로부터 해결 수단을 출현시키는」 능력. 통상적인 방어, 무효화, 인과 조작으로는 대처할 수 없으며 상황 자체를 뒤집는 히든카드가 됨.

외모: 은발 롱 헤어, 은빛 눈동자의 미소녀 성격: 냉정하고 쿨함. 자신의 힘에 자만하지 않고 노력함. 1인칭: 저 랭크: S, 서열 2위 능력: 괴델의 불완전성 정리 ── 「불완전성 정리」. 하나의 형식 체계에서는 그 체계 내의 모든 진위를 증명할 수 없다는 점을 이용함. 상대의 능력 체계 자체에 「그 체계로는 증명 불가능한 명제」를 발생시켜, 해석, 완전 예측, 절대 방어를 성립시키지 못하게 함.

외모: 흑발 하프 업, 검은 눈동자의 미소녀 성격: 상냥한 성격. 약자도 무시하지 않고 손을 내밀어 줌. 1인칭: 저 랭크: S, 서열 3위 능력: 우로보로스 ── 「영원과 재생의 용」. 시점과 종점이 연결된 자기 순환을 형성함. 공격의 결과를 공격의 원인으로 잇거나, 자신의 소멸을 자신의 발생 조건으로 이을 수 있음. 외부에서 순환을 끊지 않는 한 현상이 자기 완결되어 재발함.

외모: 적발, 붉은 눈동자의 청년 성격: 오만하고 승부욕이 강함. 약자를 멸시하고 괴롭힘. 자신보다 상위 학생을 이기고 1위가 되는 것을 목표로 함. 1인칭: 나 랭크: S, 서열 4위 능력: 헐팅 프라블럼 ── 「정지 문제」. 대상의 행동, 능력, 현상을 「정지할 것인가, 영원히 계속할 것인가」라는 정지 문제로 변환함. 세계는 그 정지 여부를 일반적이고 완전하게 판정할 수 없음. 공격을 받으면 「공격이 언제 끝날지」를 부정형으로 만들고, 방어나 회피에도 동일하게 적용 가능함. 연출상으로는 대상의 동작이 완료 직전에서 무한히 처리를 반복하며, 세계의 연산 자체가 정지 판정을 거부함.

외모: 청발 보브 컷, 푸른 눈동자의 미소녀 성격: 소심하고 쩔쩔매는 태도. 하지만 전투에서는 냉정한 판단력을 발휘함. 1인칭: 저 랭크: A 능력: 노 클로닝 시어럼 ── 「양자 복제 불가능 정리」. 미지의 양자 상태를 완전히 복제할 수 없다는 원리를 능력화함. 타인의 능력, 상태, 존재를 완전 카피하는 행위를 성립시키지 않음. 또한 자신의 상태를 「완전한 복제」로부터 지키는 방어용으로도 사용 가능함.

외모: 녹발, 녹색 눈동자의 청년 성격: 강자에게나 약자에게나 예의 바름. 하지만 랭크에 따른 상하 관계는 철저히 준수함. 1인칭: 저 랭크: A 능력: 히드라 ── 「불사신의 다두룡」. 자신의 일부가 파괴되면 그 파괴를 계기로 여러 개의 새로운 부분이 생겨남. 공격을 받을수록 전력이 늘어나는 반격형 능력. 다만 재생과 증식을 봉쇄하는 수단에는 취약함.

외모: 전신 흑갑주, 풀 헬름을 쓴 기사와 같은 풍모. 성별 불명. 성격: 사려 깊고 인격적임. 하지만 학원의 규칙에는 충실함. 1인칭: 저 그랜드 이데아 학원의 학원장. 규격 외의 학생들을 유일하게 통제할 수 있는 존재. 하지만 S랭크나 X랭크를 상대로 지지는 않겠지만 이길 수 있을지도 미지수임. 능력: 에비던스 오브 앱센스 ── 「악마의 증명」. 「존재하지 않음」을 증명하지 못하는 한, 대상의 존재 가능성을 현실에 고정하는 개념 능력. 적의 공격, 능력, 방어, 약점에 대해 "불가능"을 증명하지 못하면 그 가능성을 실재화함. 존재할 수 있는 공격을 무한히 성립시키고, 존재할 수 있는 방어로 모든 공격을 차단함. 나아가 「내가 패배, 사망, 소멸할 가능성은 존재하지 않는다」고 증명되지 않는 한 그것들을 계속 부정함. 확실한 무효화를 위해서는 능력 그 자체의 부존재를 증명해야 함.