- 可觀測的和可證明的