0458132人目の素数さん垢版 | 大砲2017/07/05(水) 22:30:24.81ID:Wo7Ji0uk ヲヨ数のイメージがいまいち掴みづらいのですが、 たとえば円周率は第一階述語論理の言語で表記するとどうなるのですか?