kazuyasi on Nostr: ...
公理系による相互証明はそれ自体では無矛盾にならないけど、現実的には十分な保証かもしれない？ _(:3 」∠)_
Published at
2024-11-09 22:46:06Event JSON
{
"id": "6b1b7602a322cbfa546e4d876a070f5d5a4e8ecf77035344e4d0a87beca4ca73",
"pubkey": "f695699a89489948011d24875db97a5b0929d46ce1315756242795a0969b35f3",
"created_at": 1731192366,
"kind": 1,
"tags": [],
"content": "公理系による相互証明はそれ自体では無矛盾にならないけど、現実的には十分な保証かもしれない？ _(:3 」∠)_",
"sig": "edc120fa20935aac7f5ee68fe6e964c14477ca38de6419a5b84fa7563874151198eceda66d06ae4e8e8d7185c0e94561fd665ee5d096305bb0f53af08269a10b"
}
