決定不能性けっていふのうせい<けっ'てい・ふ'のう>'せい0

Math.EDVUnentscheidbarkeit