【Tが無矛盾ならば】ゲーデル問題【〜[T|-Con(T)]】

このエントリーをはてなブックマークに追加
2 ：あぼーん：
あぼーん