自由是一种教义，一种公理