>>42
タイトルは数理論理学で
現状維持はNG