Mentions légales du service
Alt-Ergo was actually able to derive an inconsistency from these axioms, which is kind of incredible.