A47.什么是公理和定理?