Vertaling Van Ideal Consistency In Verschillende Talen