Tag: what is aproof system in logic - Vellabox