Mizarでは同義語はほとんどない。beとbeing, hence（従って）、hereby（これによって）が次の意味。 then + thus = hence thus + now = hereby 英語としてはthus（よって）とhence（従って）はたいして差はない。