Definition eines formalen Systems konstruktiver Arithmetik | NiceBooksReads