タナカ私が「有限の立場で $ZF$ の無矛盾性は証明できますか？」と聞きますから「不可能ではありません」と言って下さい。そこで「証明はどんな感じですか」ともう一度聞きますからうまく答えて下さい……はい、楽さん早かった。
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.