English

edit

Noun

edit

proof systems

  1. plural of proof system