用非現有邏輯的邏輯，解決現有邏輯不能解決的問題