FAQ
Login
GNU social JPは日本のGNU socialサーバーです。
Usage
/
ToS
/
admin
/
test
/
Pleroma FE
Public
Public
Network
Groups
Featured
Popular
People
Embed Notice
HTML Code
<blockquote style="position: relative; padding-left: 55px;"><section><a href="https://mstdn.jp/users/TmzndfTsG/statuses/109535455142269797">alcaline (tmzndftsg@mstdn.jp)'s status on Monday, 19-Dec-2022 00:52:36 JST</a><a href="https://mstdn.jp/@TmzndfTsG" title="tmzndftsg@mstdn.jp"><img src="https://gnusocial.jp/avatar/40795-48-20221217063254.webp" width="48" height="48" alt="alcaline" style="position: absolute; left: 0; top: 0;">alcaline</a><div><a href="https://fedibird.com/@maria/109535439675385877" rel="in-reply-to">in reply to</a><ul><li></ul></div></section><article><p><a href="https://fedibird.com/@maria">@maria</a> それは一階述語論理で証明可能な命題ですか?</p></article><footer><a rel="bookmark" href="https://gnusocial.jp/conversation/879759#notice-1930875">In conversation</a><time datetime="2022-12-19T00:52:36+09:00" title="Monday, 19-Dec-2022 00:52:36 JST">Monday, 19-Dec-2022 00:52:36 JST</time> <span>from <span><a href="https://mstdn.jp/@TmzndfTsG/109535455142269797" rel="external" title="Sent from mstdn.jp via ActivityPub">mstdn.jp</a></span></span><a href="https://mstdn.jp/@TmzndfTsG/109535455142269797">permalink</a></footer></blockquote>
Corresponding Notice
Embed this notice
alcaline (tmzndftsg@mstdn.jp)'s status on Monday, 19-Dec-2022 00:52:36 JST
alcaline
in reply to
まりあ
@maria
それは一階述語論理で証明可能な命題ですか?