Appendix A

予約語一覧表

and

as

begin

canceled

cluster

compatibility

constructors

def

definitions

environ

existence

func

hereby

if

is

means

notation

or

per

provided

redefine

schemes

struct

synonym

the

theorems

uniqueness

antonym

assume

being

case

clusters

consider

contradiction

deffunc

defpred

equals

for

given

requirements

iff

it

mode

now

otherwise

pred

qua

reserve

set

such

take

then

thesis

vocabulary

attr

be

by

cases

coherence

consistency

correctness

definition

end

ex

from

hence

holds

implies

let

not

of

over

proof

reconsider

scheme

st

symmetry

that

theorem

thus

where