>>57
無矛盾性と健全性の混同はどう擁護する?